Related papers: $(\infty,n)$-Limits I: Definition and first consis…
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…
We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality…
We show that the notion of $(\infty,n)$-limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of various double $(\infty,n-1)$-categories implementing various…
Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to…
We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$.
The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a…
Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products,…
This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the…
We describe two types of localization for $(\infty, 1)$-categories which determine the successive terms in the homotopy spectral sequence of a (co)simplicial object.
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…
In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy…
In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the…
The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty,1)$-categories.
We define notions of direct and inverse limits in an $n$-category. We prove that the $n+1$-category $nCAT'$ of fibrant $n$-categories admits direct and inverse limits. At the end we speculate (without proofs) on some applications of the…
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 note is a contribution written for the second volume of the Encyclopedia of mathematical physics. We give an informal introduction to the notions of an $(\infty,n)$-category and $(\infty,n)$-functor, discussing some of the different…
We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an…
Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…
We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…