We define for each $n \geq 1$ a symmetric monoidal $(\infty, n+1)$-category $n\mathrm{Pr}^L$ whose objects we call presentable $(\infty,n)$-categories, generalizing the usual theory of presentable $(\infty,1)$-categories. We show that each object $\mathcal{C}$ in $n\mathrm{Pr}^L$ has an underlying $(\infty,n)$-category $ψ_n(\mathcal{C})$ which admits all conical colimits, and that conical colimits of right adjointable diagrams in $ψ_n(\mathcal{C})$ can be computed in terms of conical limits after passage to right adjoints.
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant.
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of presentable $\infty$-categories preserves left adjointable squares. As a sample result, we show that the Proper Basechange Theorem in topology holds with coefficients in any presentable $\infty$-category which is compactly generated or stable. We also prove results about the interaction between tensor products of presentable $\infty$-categories and various categoric…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly generated $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of presentable $\infty$-categories if $n \geq 2$, and the homotopy $n$-categories of presentable stable $\in…
We define and discuss lax and weighted colimits of diagrams in $\infty$-categories and show that the coCartesian fibration associated to a functor is given by its lax colimit. A key ingredient, of independent interest, is a simple characterization of the free Cartesian fibration associated to a a functor of $\infty$-categories. As an application of these results, we prove that lax representable functors are preserved under exponentiation, and also that the total space of a presentable Cartesian fibration between $\infty$-categories is presentable, generalizing a theorem of Makkai and Paré to t…
We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The definition of the new class of model categories is based on the corresponding extension of the theory of locally presentable and accessible categories developed in the companion paper [arXiv:1110.0605], where we introduced the concepts of locally class-presentable and class-accessible categories. In this work we prove that the category of weak equivalences of …
We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to deconstructible classes in Grothendieck categories. We discuss pseudopullbacks of combinatorial model categories.
After developing the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences and show that univalent families, in the sense of Voevodsky, form a poset isomorphic to the poset of bounded local classes, in the sense of Lurie. It follows that every infinity-topos has a hierarchy of "universal" univalent families, indexed by regular cardinals, and that n-topoi have univalent families classifying (n-2)-truncated maps. We show that univalent families are preserved (and detected) by right adjoints t…
Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation in terms of a functorial iterated colimit. Background material, examples, and the relation to homology localization and completion are discussed as well.
We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is Quillen equivalent (via a single Quillen equivalence) to one in which all objects are cofibrant.
Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-semiadditive $\infty$-category generated by a single object. Passing to presentable $\infty$-categories we obtain a description of the free presentable $m$-semiadditive $\infty$-category in terms of a new notion of $m$-commutative monoids, which can be described as spaces in which families of points parameterized by $m$-finite spaces can be coherently summed. Such an abstract summation procedure can be used to give a fo…
A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as being well generated and satisfying a very general form of Ohkawa's theorem.
Let $f:G\to \mathrm{Pic}(R)$ be a map of $E_\infty$-groups, where $\mathrm{Pic}(R)$ denotes the Picard space of an $E_\infty$-ring spectrum $R$. We determine the tensor $X\otimes_R Mf$ of the Thom $E_\infty$-$R$-algebra $Mf$ with a space $X$; when $X$ is the circle, the tensor with $X$ is topological Hochschild homology over $R$. We use the theory of localizations of $\infty$-categories as a technical tool: we contribute to this theory an $\infty$-categorical analogue of Day's reflection theorem about closed symmetric monoidal structures on localizations, and we prove that for a smashing local…
A Quillen model structure is presented by an interacting pair of weak factorization systems. We prove that in the world of locally presentable categories, any weak factorization system with accessible functorial factorizations can be lifted along either a left or a right adjoint. It follows that accessible model structures on locally presentable categories - ones admitting accessible functorial factorizations, a class that includes all combinatorial model structures but others besides - can be lifted along either a left or a right adjoint if and only if an essential "acyclicity" condition hold…
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties. In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves. For example, we compute limits and colimits of presheaves, prove that all presheaves are colimits of representable presheaves, and prove a version of the Yoneda lemma.
We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the $\infty$-category of $\mathcal C$-valued sheaves on $\mathcal X$ as an $\infty$-category of functors that satisfy finite limits conditions as well as filtered colimits conditions (instead of limits conditions purely); we call such functors $ω$-continuous sheaves. As an application, we show that when $\mathcal X$ is exponentiable, its $\infty$-category of stable sheaves $\m…
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an $\infty$-categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for presentable $\infty$-categories. We also discuss the comparison between adjunctions of $\infty$-categories and homotopy adjunctions, and give a treatment of Brown representability for $\infty$-catego…
In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical notions leading to presentable $\infty$-categories, we mention the Joyal and Bergner model structures organizing two approaches to a theory of $(\infty,1)$-categories. We also discuss monoidal $\infty$-categories and algebra objects, as well as stable $\infty$-categories. These notions come together in Lurie's treatment of the smash product on spectra, yielding …
Partial parametrized presentability and the universal property of equivariant spectra
Fakultät für Mathematik, Universität Regensburg（雷根斯堡大学数学系）；Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn（波恩大学数学研究所）；Mathematical Institute, University of Utrecht（乌得勒支大学数学研究所）
The aim of this paper is to present a simplified version of the notion of $\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to introduce a definition of $\infty$-categories inspired by Grothendieck's approach.
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three applications of our main result are described. In the first application we use (a dual version of) our main result to give sufficient conditions on an $ω$-combinatorial model category, which insure that its underlying $\infty$-category is $ω$-presentable. In the second application we consider the pro-category of simplicial étale sheaves and use it to show that the topo…
We study the *homotopy theory* of $\infty$-categories enriched in the $\infty$-category $sS$ of simplicial spaces. That is, we consider $sS$-enriched $\infty$-categories as presentations of ordinary $\infty$-categories by means of a "local" geometric realization functor $Cat_{sS} \to Cat_\infty$, and we prove that their homotopy theory presents the $\infty$-category of $\infty$-categories, i.e. that this functor induces an equivalence $Cat_{sS} [[ W_{DK}^{-1} ]] \xrightarrow{\sim} Cat_\infty$ from a localization of the $\infty$-category of $sS$-enriched $\infty$-categories. Following Dwyer--Ka…
In this paper we introduce a notion of $\mathbf{O}$-monoidal $\infty$-categories for a finite sequence $\mathbf{O}^{\otimes}$ of $\infty$-operads, which is a generalization of the notion of higher monoidal categories in the setting of $\infty$-categories. We show that the $\infty$-category of coCartesian $\mathbf{O}$-monoidal $\infty$-categories and right adjoint lax $\mathbf{O}$-monoidal functors is equivalent to the opposite of the $\infty$-category of Cartesian $\mathbf{O}_{\rm rev}$-monoidal $\infty$-categories and left adjoint oplax $\mathbf{O}_{\rm rev}$-monoidal functors, where $\mathbf…
The goal of this paper is to prove an equivalence between the $(\infty,2)$-category of cartesian factorization systems of $\infty$-categories and that of pointed cartesian fibrations of $\infty$-categories. This generalizes a similar result known for ordinary categories and sheds some light on the interplay between these two seemingly distant concepts.
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the theory useful even when an $\infty$-category of enriched $\infty$-categories comes from a model category (as is often the case in examples of interest, e.g. dg-categories, spectral categories, and $(\infty,n)$-categories). This…
In this short note we prove that two definitions of (co)ends in $\infty$-categories, via twisted arrow $\infty$-categories and via $\infty$-categories of simplices, are equivalent. We also show that weighted (co)limits, which can be defined as certain (co)ends, can alternatively be described as (co)limits over left and right fibrations, respectively.
We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric monoidal $\infty$-categories equipped with a symmetric monoidal functor to finite sets (with disjoint union as tensor product). The latter leads to a third description of $\infty$-operads, as a localization of a presheaf $\infty$-category, and we use this to give a simple proof of the equivalence between Lurie's and Barwick's models for $\infty$-operads.
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty, n)$-categories. In this paper, we establish model structures for some naturally arising categories of objects which should be thought of as $(\infty,n)$-categories. Furthermore, we establish Quillen equivalences between them.
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then consider a natural definition of natural transformations in this context, and show that in the underlying $(\infty,2)$-category of enriched $\infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.
We show that the homotopy theory of strict 2-categories embeds in that of $(\infty,2)$-categories in the form of 2-precomplicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between Lack's model structure for 2-categories and Riehl-Verity's model structure for 2-complicial sets. Furthermore, we show that Lack's model structure is transferred along this nerve and that the nerve is homotopically fully faithful.
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 the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.
We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model structures; and (iv) enriched model structures.
This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the current paper, we give a conceptual proof of an $\infty$-categorical nature of the same theorem. This proof is based on the theory of join and slices for strict $\infty$-categories developed by the authors in a previous paper, and on a comma construction for strict $\infty$-categories generalizing classical comma categories and Gray's comma 2-categories. This $…
