Related papers: Goodwillie approximations to higher categories

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…

We study versions of Goodwillie's calculus of functors for indexing diagrams other than cubes. We in particular construct universal excisive approximations for a larger class of diagrams, which yields an extension of the Taylor tower. We…

In this paper, we investigate the properties of the category of equivariant diagram spectra indexed on the category W_G of based G-spaces homeomorphic to finite G-CW-complexes for a compact Lie group G. Using the machinery of Mandell, May,…

Quillen showed how to describe the homotopy theory of simply-connected rational spaces in terms of differential graded Lie algebras. Here we survey a generalization of Quillen's results that describes the $v_n$-periodic localizations of…

In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

We give a correct proof that for all connected spaces X, the functor X |-> A(\Sigma(X)) splits up to homotopy as a product of its Goodwillie derivatives.

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, let $D$ be the division algebra over $F$ of invariant $1/n$ and let $G^0$ be the subgroup of $\text{GL}_n(F)$ of elements with norm $1$ determinant. We show that the action of…

We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is…

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…

We construct a univalent universe in the sense of Voevodsky in some suitable model categories for homotopy types (obtained from Grothendieck's theory of test categories). In practice, this means for instance that, appart from the homotopy…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

We consider the "homotopy coniveau tower" for an arbitrary cohomology theory on smooth varieties over a field or a Dedekind domain. This tower is a generalization of the construction used by Bloch-Lichtenbaum and Friedlander-Suslin in their…

We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space $X$ and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category…

In previous work it is shown that there is an abelian category A(G) constructed to model rational G-equivariant cohomology theories, where G is a torus of rank r together with a homology functor \piA_* : Gspectra ---> A(G), and an Adams…