In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's straightening-unstraightening adjunction, thereby furnishing an equivalence between the $\infty$-bicategory of 2-Cartesian fibrations over $S$ and the $\infty$-bicategory of contravariant functors $S^{\operatorname{op}} \to \mathbb{B}\mathbf{\!}\operatorname{icat}_\infty$ with values in the $\infty$-bicategory of $\infty$-bicategories. We provide a relative nerve construction in the case where the base is a 2-category, and use this to prove a comparison to existing bicategorical Grothendieck constructions.
In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2-simplices, which we call lean triangles, in addition to a collection of edges containing all degenerate 1-simplices. We prove the existence of a left proper combinatorial simplicial model category whose fibrant objects are precisely the 2-Cartesian fibrations over a chosen sca…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate `nerves of C' are homotopy equivalent. Any one of these realizations could therefore be taken as the classifying space BC of the bicategory. Its other major result proves a direct extension of Thomason's `Homotopy Colimit Theorem' to bicategories: When the homotopy colimit construction is carried out on a diagram of spaces obtained by applying the classifying spa…
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a bicategory. In this case the arrows are inverted in the sense that they are made into equivalences. As with categories of fractions, bicategories of fractions suffer from the defect that they need not be locally small even when the bicategory in which W lives is locally small. Similarly, in the case where W is a class of arrows in a 2-category, the bicatego…
We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the slice categories $\mathbf{C}/A$, and we show that in the case $\mathbf{C}=\mathbf{Top}$, our construction applied to this fibration recovers the usual 2-category of spaces.
This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double cate…
In this note, we show that the units in Grothendieck-Witt rings extend to an unramified strictly A^1-invariant sheaf of abelian groups on the category of smooth schemes. This implies that there is an A^1-local classifying space of spherical fibrations.
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $Γ$-spaces. The formalism of topological operads generalises well to different categories yielding such notions as $\mathbb E_n$-algebras in chain complexes, while the $Γ$-space approach faces difficulties. In this paper we discuss how, by attempting to extend the Segal approach to arbitrary categoires, one arrives to the problem of understanding "weak" sections of a homotopical Grothendieck fibration. We propose a model for such sections, c…
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize Thomason's classical result which states that the homotopy colimit of a diagram of categories has the homotopy type of (the classifying space of) the Grothendieck construction of the diagram of categories.
The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As a main result, we establish an equivalence between suitable diagrams of model categories indexed by $\mathcal{M}$ and a new notion of \textbf{model fibrations} over $\mathcal{M}$. When $\mathcal{M}$ is a model category, our construction endows the Grothendieck construction with a model structure which gives a presentation of Lurie's $\infty$-categorical Grot…
We propose a construction of the monoidal envelope of $\infty$-operads in the model of Segal dendroidal spaces, and use it to define cocartesian fibrations of such. We achieve this by viewing the dendroidal category as a "plus construction" of the category of pointed finite sets, and work in the more general language of algebraic patterns for Segal conditions. Finally, we rephrase Lurie's definition of cartesian structures as exhibiting the categorical fibrations coming from envelopes, and deduce a straightening/unstraightening equivalence for dendroidal spaces.
Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet more general definition where the set or diagram of maps is replaced with a vertical map in a Grothendieck fibration. In addition to an interesting new view of the existing examples above, we get new n…
The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's model of $\infty$-bicategories, which, in turn, has been shown to be equivalent to all other known models for $(\infty,2)$-categories. A key technical input is given by identifying the notion of $\infty$-bicategories with that of weak $\infty$-bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski--Olschok's theory. T…
We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this machinery to set up a general theory of 2-(co)limits for diagrams valued in an $\infty$-bicategory, capable of expressing lax, weighted and pseudo limits. When the $\infty$-bicategory at hand arises from a model category tensored over marked simplicial sets, we show that this notion of 2-(co)limit can be calculated as a suitable form of a weighted homotopy limit o…
The aim of this paper is to generalize Grothendieck's theory of smooth functors in order to include within this framework the theory of fibered categories. We obtain in particular a new characterization of fibered categories.
Johns Hopkins University（约翰斯·霍普金斯大学）；University of Hamburg（汉堡大学）；University of Minnesota（明尼苏达大学）；Dalhousie University（达尔豪斯大学）；Univ. Artois, UR 2462 , Laboratoire de Mathématiques de Lens (LML)（阿图瓦大学，UR 2462，伦斯数学实验室 (LML)）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language for reasoning internally to $(\infty,1)$-toposes, just as higher-order logic is used for 1-toposes. As part of the proof, we give a new, more explicit, characterization of the fibrations in injective model structures on presheaf categories. In particular, we show that they generalize the coflexible algebras of 2-monad theory.
Given a marked $\infty$-category $\mathcal{D}^{\dagger}$ (i.e. an $\infty$-category equipped with a specified collection of morphisms) and a functor $F: \mathcal{D} \to \mathbb{B}$ with values in an $\infty$-bicategory, we define $\operatorname{colim}^{\dagger} F$, the marked colimit of $F$. We provide a definition of weighted colimits in $\infty$-bicategories when the indexing diagram is an $\infty$-category and show that they can be computed in terms of marked colimits. In the maximally marked case $\mathcal{D}^{\sharp}$, our construction retrieves the $\infty$-categorical colimit of $F$ in …
We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine equivariant operads, a model for "equivariant operads with norms up to homotopy". We introduce the notion of an op-fibration of genuine equivariant operads, extending Grothendieck op-fibrations, and characterize fibrant operads as the image of genuine equivariant symmetric monoidal categories. Moreover, we show that under the operadic nerve, this image is sent to $G$…
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a different Grothendieck topology. In fact, there is an equivalence of bicategories between compactly generated stacks and those classical topological stacks which admit locally compact Hausdorff atlases. Compactly generated stacks are also equivalent to a bicategory of topological groupoids and principal bundles, just as in the classical case. If a classical topol…
