Quasi-category

{{Short description|Generalization of a category}} In mathematics, more specifically category theory, a '''quasi-category''' (also called '''quasicategory''', '''weak Kan complex''', '''inner Kan complex''', '''infinity category''', '''∞-category''', '''Boardman complex''', '''quategory''') is a generalization of the notion of a category. The study of such generalizations is known as higher category theory.

== Overview == Quasi-categories were introduced by {{harvtxt|Boardman|Vogt|1973}}. André Joyal has much advanced the study of quasi-categories showing that most of the usual basic category theory and some of the advanced notions and theorems have their analogues for quasi-categories. An elaborate treatise of the theory of quasi-categories has been expounded by {{harvs|txt|authorlink=Jacob Lurie|first=Jacob|last= Lurie|year=2009}}.

Quasi-categories are certain simplicial sets. Like ordinary categories, they contain objects (the 0-simplices of the simplicial set) and morphisms between these objects (1-simplices). But unlike categories, the composition of two morphisms need not be uniquely defined. All the morphisms that can serve as composition of two given morphisms are related to each other by higher order invertible morphisms (2-simplices thought of as "homotopies"). These higher order morphisms can also be composed, but again the composition is well-defined only up to still higher order invertible morphisms, etc.

The idea of higher category theory (at least, higher category theory when higher morphisms are invertible) is that, as opposed to the standard notion of a category, there should be a mapping space (rather than a mapping set) between two objects. This suggests that a higher category should simply be a topologically enriched category. The model of quasi-categories is, however, better suited to applications than that of topologically enriched categories, though it has been proved by Lurie that the two have natural model structures that are Quillen equivalent (see {{section link||Homotopy coherent nerve}}).

==Definition==

By definition, a quasi-category ''C'' is a simplicial set satisfying the inner Kan conditions (also called weak Kan condition): every inner horn in ''C'', namely a map of simplicial sets <math>\Lambda^k[n]\to C</math> where <math>0<k<n</math>, has a filler, that is, an extension to a map <math>\Delta[n]\to C</math>. (See Kan fibration#Definitions for a definition of the simplicial sets <math>\Delta[n]</math> and <math>\Lambda^k[n]</math>.)

The idea is that 2-simplices <math>\Delta[2] \to C</math> are supposed to represent commutative triangles (at least up to homotopy). A map <math>\Lambda^1[2] \to C</math> represents a composable pair. Thus, in a quasi-category, one cannot define a composition law on morphisms, since one can choose many ways to compose maps.

According to Joyal, one consequence of the definition is that <math>C^{\Delta[2]} \to C^{\Lambda^1[2]}</math> is a trivial Kan fibration.<ref>{{harvnb|Lurie|2009|loc=Corollary 2.3.2.2}}</ref> In other words, while the composition law is not uniquely defined, it is unique up to a contractible choice.<ref>{{harvnb|Lurie|2009|loc=Remark 2.3.2.3.}}</ref>

==The homotopy category== {{main|homotopy category of an ∞-category}} Given a quasi-category ''C,'' one can associate to it an ordinary category ''hC,'' called the homotopy category of ''C''. The homotopy category has as objects the vertices of ''C.'' The morphisms are given by homotopy classes{{clarify|date=May 2025}} of edges between vertices. Composition is given using the horn filler condition for ''n'' = 2.

For a general simplicial set there is a functor <math>\tau</math> from '''sSet''' to '''Cat''', the left-adjoint of the nerve functor, and for a quasi-category ''C'', we have <math>\tau(C)=hC</math>.

==Examples==

*The nerve of a category is a quasi-category with the extra property that the filling of any inner horn is unique. Conversely a quasi-category such that any inner horn has a unique filling is isomorphic to the nerve of some category. The homotopy category of the nerve of ''C'' is isomorphic to ''C''. *Given a topological space ''X'', one can define its singular set ''S''(''X''), also known as the ''fundamental ∞-groupoid of X''. ''S''(''X'') is a quasi-category in which every morphism is invertible. The homotopy category of ''S''(''X'') is the fundamental groupoid of ''X''. *More general than the previous example, every Kan complex is an example of a quasi-category. In a Kan complex all maps from all horns—not just inner ones—can be filled, which again has the consequence that all morphisms in a Kan complex are invertible. Kan complexes are thus analogues to groupoids - the nerve of a category is a Kan complex iff the category is a groupoid. *Kan complexes themselves form an ∞-category denoted as '''Kan''' or also '''S'''. Precisely, it is the homotopy coherent nerve of the category of Kan complexes (see also {{section link||Homotopy coherent nerve}}). *Similarly, the ∞-category of (small) ∞-categories is defined as the homotopy coherent nerve of the category of ∞-categories. Precisely, let ''K'' be the simplicially-enriched category where an object is a small ∞-category and the hom-simplicial-set from ''C'' to ''D'' is the core of the ∞-category <math>\underline{\operatorname{Hom}}(C, D)</math>.<ref>{{harvnb|Lurie|2009|loc=Definition 3.0.0.1.}}</ref> Then the homotopy coherent nerve of ''K'' is the ∞-category of small ∞-categories.

== Homotopy coherent nerve == {{main|homotopy coherent nerve}} An ordinary nerve of a category misses higher morphisms (e.g., a natural transformation between functors, which is a 2-morphism or a homotopy between paths). The homotopy coherent nerve <math>N^{hc}(C)</math> of a simplicially-enriched category <math>C</math> allows to capture such higher morphisms.

First we define <math>\mathfrak{C}[n]</math> as a "thickened" version of the category <math>[n] = \{ 0, 1, \cdots, n \}</math> (<math>[n]</math> is a partially ordered set so can be viewed as a category). By definition,<ref>{{harvnb|Lurie|2009|loc=Definition 1.1.5.1.}}</ref> it has the same set of objects as <math>[n]</math> does but the hom-simplicial-set from <math>i</math> to <math>j</math> is the nerve of <math>P_{i, j}</math> where <math> P_{i, j}</math> is the set of all subsets of <math>[i, j] = \{ k \mid i \le k \le j \}</math> containing <math>i, j</math> and is partially ordered by inclusion. That is, in <math>\mathfrak{C}[n]</math>, a morphism looks like <math>i \to k_1 \to \cdots \to j</math> or none if <math>i > j</math>. (Formally, <math>\mathfrak{C}[n]</math> is a cofibrant replacement of <math>[n]</math>.<ref>{{harvnb|Lurie|2009|loc=Remark 1.1.5.2.}}</ref>)

Then <math>N^{hc}(C)</math> is defined to be the simplicial set where each ''n''-simplex is a simplicially-enriched functor from <math>\mathfrak{C}[n]</math> to <math>C</math>.<ref>{{harvnb|Lurie|2009|loc=Definition 1.1.5.5.}}</ref> Moreover, if <math>C</math> has the property that <math>\operatorname{Map}(x, y)</math> is a Kan complex for each pair of objects <math>x, y</math>, then <math>N^{hc}(C)</math> is an ∞-category.<ref>{{harvnb|Lurie|2009|loc=Proposition 1.1.5.10.}}</ref>

The functor <math>\mathfrak{C}[-]</math> from '''sSet''' to '''sSet-Cat''' is then defined as the left adjoint to <math>N^{hc}</math>. An important application is: {{math_theorem|math_statement=<ref>{{harvnb|Lurie|2009|loc=Theorem 1.1.5.13.}}</ref> Let <math>C</math> be a '''Top'''-enriched category (where '''Top''' is the category of compactly generated weak Hausdorff spaces). Then the counit map :<math>|\operatorname{Map}_{\mathfrak{C}[N^{hc}S(C)]}(x, y)| \to \operatorname{Map}_C(x, y)</math> is a weak homotopy equivalence for each pair of objects <math>x, y</math> in <math>C</math>, where <math>S(C)</math> is the singular complex of <math>C</math>.}}

The theorem implies that a simplicial approach to the theory of ∞-categories is equivalent (in the above weak sense) to a topological approach to that.

== Constructions == If ''X'', ''Y'' are ∞-categories, then the simplicial set <math>\underline{\operatorname{Hom}}(X, Y)</math>, the internal Hom in '''sSet''', is also an ∞-category (more generally, it is an ∞-category if ''X'' is only a simplicial set and ''Y'' is an ∞-category.)<ref>{{harvnb|Cisinski|2023|loc=Corollary 3.2.10.}}</ref>

If <math>x, y</math> are objects in an ∞-category ''C'', then <math>\operatorname{Map}_C(x, y)</math> is a Kan complex but <math>(x, y) \mapsto \operatorname{Map}_C(x, y)</math> is a priori not a functor. A functor that restricts to it can be constructed as follows.

Let ''S'' be a simplicial set and <math>S' = \mathfrak{C}[S]</math> the '''sSet'''-enriched category generated by it. Since <math>\operatorname{Hom}_{S'}</math> is a functor, <math>(x, y) \mapsto \operatorname{Sing}|\operatorname{Hom}_C(x, y)|</math> gives a functor :<math>S'^{op} \times S' \to \mathrm{Kan}\, ,</math> where on the right is the 1-category of Kan complexes. Then, since <math>\mathfrak{C}[-]</math> is a left adjoint to <math>N^{hc}</math>, <math>\mathfrak{C}[S^{op} \times S] \to S'^{op} \times S' \to \mathrm{Kan}</math> corresponds to :<math>S^{op} \times S \to \mathbf{Kan} = N^{hc}(\textrm{Kan}).</math> Taking <math>S</math> to be an ∞-category ''C'', the above is the '''hom functor''' :<math>\operatorname{Hom} : C^{op} \times C \to \mathbf{Kan},</math> which restricts to <math>(x, y) \mapsto \operatorname{Map}_C(x, y).</math>

== Equivalences between ∞-categories == {{main|Weak equivalence between simplicial sets}}

Given a functor <math>F : C \to D</math> between ∞-categories, ''F'' is said to be an ''equivalence'' (in the sense of Joyal) if it is invertible in ∞-Cat, the ∞-category of (small) ∞-categories.<ref>{{harvnb|Land|2021|loc=Definition 2.1.14.}}</ref>

Like in ordinary category theory, (with the presence of the axiom of choice), ''F'' is equivalence if and only if it is *''fully faithful'', meaning <math>F : \operatorname{Map}(x, y) \to \operatorname{Map}(F(x), F(y))</math> is equivalence for each pair of objects <math>x, y</math>, and *''essentially surjective'', meaning for each object ''y'' in ''D'', <math>y \simeq F(x)</math> for some object ''x'' in ''C''.<ref> {{harvnb|Land|2021|loc=Proposition 2.3.5.}} and {{harvnb|Land|2021|loc=Theorem 2.3.20.}}</ref>

== Presheaves == Just like in ordinary category theory, one can consider a presheaf on an ∞-category ''C''. From the point of view of higher category theory, such a presheaf should not be set-valued but ''space''-valued (for example, for a correct formulation of the Yoneda lemma). The homotopy hypothesis says that one can take an ∞-groupoid, concretely a Kan complex, as a space. Given that, we take the category of "∞-presheaves" on ''C'' to be <math>\widehat{C} = \underline{\operatorname{Hom}}(C^{op}, \textbf{Kan})</math> where <math>\textbf{Kan}</math> is the ∞-category of Kan complexes. A category-valued presheaf is commonly called a prestack. Thus, <math>\widehat{C}</math> can be thought of consisting of ∞-prestacks.

(With a choice of a functor structure on Hom), one then gets the ∞-Yoneda embedding as in the ordinary category case: :<math>C \hookrightarrow \widehat{C}.</math>

== Adjunctions == There are at least two equivalent approaches to adjunctions. In Cisinski's book, an adjunction is defined just as in ordinary category theory. Namely, two functors <math>F : C \to D, \, G : D \to C</math> are said to be an ''adjoint pair'' if there exists a 2-morphism <math>c : \operatorname{Hom}(F, \operatorname{id)} \to \operatorname{Hom}(\operatorname{id}, G)</math> such that the restriction to each pair of objects ''x'' in ''C'', ''y'' in ''D'', :<math>c|_{x, y} : \operatorname{Map}_D(F(x), y) \to \operatorname{Map}_C(x, G(y))</math> is invertible in <math>\textbf{Kan}</math> (recall the mapping spaces are Kan complexes).<ref>{{harvnb|Cisinski|2023|loc=Definition 6.1.3.}}</ref>

In his book ''Higher Topos Theory'', Lurie defines an adjunction to be a map <math>q : M \to \Delta^1</math> that is both cartesian and cocartesian fibrations.<ref>{{harvnb|Lurie|2009|loc=Definition 5.2.2.1.}}</ref> Since <math>q</math> is a cartesian fibration, by the Grothendieck construction of sort (straightening to be precise), one gets a functor :<math>G : D = q^{-1}(1) \to D = q^{-1}(0).</math> Similarly, as <math>q</math> is also a cocartesian fibration, there is also <math>F : C \to D.</math> Then they are an adjoint pair and conversely, an adjoint pair determines an adjunction.

== Final objects and final maps == Let <math>\omega</math> be an object in an ∞-category ''C''. Then the following are equivalent:<ref>{{harvnb|Cisinski|2023|loc=Theorem 4.3.11.}}</ref><ref>{{harvnb|Cisinski|2023|loc=Theorem 4.3.16.}}</ref><ref>{{harvnb|Cisinski|2023|loc=Example 6.2.8.}}</ref> *The constant functor with value <math>\omega</math> is a final object in the category <math>\tau(\underline{\operatorname{Hom}}(X, C))</math> for each simplicial set ''X''. *The mapping space <math>\operatorname{Map}(x, \omega)</math> is contractible for each object ''x'' in ''C''. *The projection <math>C \downarrow \omega \to C</math> is a trivial Joyal fibration. *<math>\omega</math> as a map <math>\Delta^0 \to C</math> is a right anodyne extension. *<math>\omega</math> is the limit of a unique functor <math>\emptyset \to C</math> from the empty set. Then <math>\omega</math> is said to be '''final''' if any of the above equivalent condition holds. The final objects form a full subcategory, an ∞-groupoid, that is either empty or contractible.<ref>{{harvnb|Cisinski|2023|loc=Corollary 4.3.13.}}</ref>

For example, a presheaf <math>F : C^{op} \to \textbf{Kan}</math> is representable if and only if the ∞-category of elements for <math>F</math> has a final object (as the representability amounts to saying the ∞-category of elements is equivalent to a comma category over ''C'').<ref>{{harvnb|Cisinski|2023|loc=Proposition 6.1.2.}}</ref>

More generally, a map between simplicial sets is called '''final''' if it belongs the smallest class <math>\mathfrak{c}</math> of maps satisfying the following: *A right anodyne extension belongs to the class <math>\mathfrak{c}</math>. *The class <math>\mathfrak{c}</math> is stable under composition. *If <math>f</math> and <math>g \circ f</math> are in <math>\mathfrak{c}</math>, then <math>g</math> is in <math>\mathfrak{c}</math>.<ref>{{harvnb|Cisinski|2023|loc=Corollary 4.1.9.}}</ref> Then an object <math>\omega</math> is final if and only if the map <math>\omega : \Delta^0 \to C</math> is a final map.<ref>{{harvnb|Cisinski|2023|loc=Definition 4.3.1.}}</ref> Also, a map <math>f : X \to Y</math> is called '''cofinal''' if <math>f : X^{op} \to Y^{op}</math> is final.<ref>{{harvnb|Cisinski|2023|loc=Definition 4.4.13.}}</ref>

== Presentable ∞-categories == Presheaf categories (discussed above) have some nice properties and their localizations also inherit such properties to some extent. An ∞-category is called '''presentable''' if it is a localization of a presheaf category on an ∞-category in the sense of Bousfield (the notion strongly depends on a choice of a universe, which is suppressed here. But one way to handle this issue is to manually keep track of cardinals. Another is to use the notion of an accessible ∞-category as done by Lurie).

Cisinski notes that “Any [reasonable] algebraic structure defines a presentable ∞-category," after taking a nerve.<ref>{{harvnb|Cisinski|2023|loc=Remark 7.11.15.}}</ref> Thus, for example, "the category of groups, the category of abelian groups, the category of rings" are all (their nerves are) presentable ∞-categories. Also, the nerve of a category of small sets is presentable.<ref>{{harvnb|Cisinski|2023|loc=Proposition 7.11.11.}}</ref>

The notion has an implication to theory of model categories. Roughly because of the above remark, all the typical model categories that are used in practice have nerves that are presentable; such a model category is called combinatorial.<ref>{{harvnb|Cisinski|2023|loc=Definition 7.11.14.}}</ref> Precisely, we have: (Dugger) if ''C'' is a combinatorial model category, then the localization <math>L(C)</math> with respect to weak equivalences is a presentable ∞-category<ref>{{harvnb|Cisinski|2023|loc=Theorem 7.11.16.}}</ref> and conversely, each presentable ∞-category is of such form, up to equivalence.<ref>{{harvnb|Cisinski|2023|loc=Remark 7.11.17.}}</ref>

== Stable ∞-categories == {{expand section|date=May 2025}} {{main|stable ∞-category}}

== Variants == *An '''(∞, 1)-category''' is a not-necessarily-quasi-category ∞-category in which all ''n''-morphisms for ''n'' > 1 are equivalences. There are several models of (∞, 1)-categories, including Segal category, simplicially enriched category, topological category, complete Segal space. A quasi-category is also an (∞, 1)-category. * '''Model structure''' There is a model structure on sSet-categories that presents the (∞,1)-category (∞,1)Cat. * '''Homotopy Kan extension''' The notion of homotopy Kan extension and hence in particular that of homotopy limit and homotopy colimit has a direct formulation in terms of Kan-complex-enriched categories. See homotopy Kan extension for more. * '''Presentation of (∞,1)-topos theory''' All of (∞,1)-topos theory can be modeled in terms of sSet-categories. (ToënVezzosi). There is a notion of sSet-site C that models the notion of (∞,1)-site and a model structure on sSet-enriched presheaves on sSet-sites that is a presentation for the ∞-stack (∞,1)-toposes on C.

==Notes== {{reflist}}

==References== *{{Citation | last1=Boardman | first1=J. M. | last2=Vogt | first2=R. M. | title=Homotopy Invariant Algebraic Structures on Topological Spaces | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Mathematics | doi=10.1007/BFb0068547 | mr=0420609 | year=1973 | volume=347| isbn=978-3-540-06479-4 }} *{{cite book |last1=Bergner |first1=Julia E. |title=Towards Higher Categories |chapter=A Survey of (∞, 1)-Categories |series=The IMA Volumes in Mathematics and its Applications |date=2010 |volume=152 |pages=69–83 |doi=10.1007/978-1-4419-1524-5_2 |isbn=978-1-4419-1523-8|arxiv=math/0610239 }} * {{cite book |last=Cisinski |first=Denis-Charles |author-link=Denis-Charles Cisinski |url=https://cisinski.app.uni-regensburg.de/CatLR.pdf |title=Higher Categories and Homotopical Algebra |date=2023|publisher=Cambridge University Press |isbn=978-1108473200 |language=en}} *{{citation|first= Moritz|last= Groth|title= A short course on infinity-categories|url= http://www.math.uni-bonn.de/~mgroth/InfinityCategories.pdf|access-date= 2010-10-19|archive-date= 2016-03-03|archive-url= https://web.archive.org/web/20160303200303/http://www.math.uni-bonn.de/~mgroth/InfinityCategories.pdf|url-status= dead}} *{{Citation | last1=Joyal | first1=André | author1-link=André Joyal | title=Quasi-categories and Kan complexes | doi=10.1016/S0022-4049(02)00135-4 | mr=1935979 | year=2002 | journal=Journal of Pure and Applied Algebra | volume=175 | issue=1 | pages=207–222| doi-access= }} *{{Citation | last1=Joyal | first1=André | author1-link=André Joyal | last2=Tierney | first2=Myles | title=Categories in algebra, geometry and mathematical physics | arxiv=math.AT/0607820 | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Contemp. Math. | mr=2342834 | year=2007 | volume=431 | chapter=Quasi-categories vs Segal spaces | pages=277–326}} *{{citation|first=A. |last=Joyal |title=The theory of quasi-categories and its applications, lectures at CRM Barcelona |year=2008 |url=http://www.crm.cat/HigherCategories/hc2.pdf |url-status=dead |archiveurl=https://web.archive.org/web/20110706214636/http://www.crm.cat/HigherCategories/hc2.pdf |archivedate=July 6, 2011 }} *{{citation|first= A. |last= Joyal|title= Notes on quasicategories|url=http://www.math.uchicago.edu/~may/IMA/Joyal.pdf}} *{{Citation | last1=Lurie | first1=Jacob | title=Higher topos theory | arxiv=math.CT/0608040 | publisher=Princeton University Press | series=Annals of Mathematics Studies | isbn=978-0-691-14049-0| mr=2522659 | year=2009 | volume=170}} * {{cite arXiv |eprint=1108.2001|last1=Bergner|first1=Julia E|authorlink= Julie Bergner |title=Workshop on the homotopy theory of homotopy theories|class=math.AT|year=2011}} *{{cite arXiv|last=Hinich|first=Vladimir|date=2017-09-19|title=Lectures on infinity categories|eprint=1709.06271|class=math.CT}} *{{ Citation | first1=Bertrand | last1=Toën | first2 = Gabriele | last2 = Vezzosi | title=Homotopical Algebraic Geometry I: Topos theory | journal=Advances in Mathematics | volume=193 | issue=2 | year=2005 | pages=257–372 | arxiv=math.AG/0207028 | doi=10.1016/j.aim.2004.05.004 | doi-access=free}} * {{cite book |doi=10.1007/978-3-030-61524-6_2 |title=Introduction to Infinity-Categories |series=Compact Textbooks in Mathematics |date=2021 |last1=Land |first1=Markus |chapter=Joyal's Theorem, Applications, and Dwyer–Kan Localizations |pages=97–161 |isbn=978-3-030-61523-9|zbl= 1471.18001 }} *{{cite web |last1=Rezk |first1=Charles |title=Introduction to quasicategories |url=https://ncatlab.org/nlab/files/Rezk-IntroToQuasicategories.pdf|date=2022|via=ncatlab.org}} *{{cite web |date=2025 |last1=Haugseng |first1=Rune |title=Yet another introduction to ∞-categories |url=https://runegha.folk.ntnu.no/naivecat_web.pdf}}

== External links == *https://math.stackexchange.com/questions/4471234/why-use-infty-categories-over-model-categories *https://ncatlab.org/nlab/show/locally+presentable+(infinity%2C1)-category * {{nlab|id=quasi-category}} * {{nlab|id=infinity-category}} * {{nlab|id=fundamental+category}} * Joyal's Catlab entry: [http://ncatlab.org/joyalscatlab/show/The+theory+of+quasi-categories The theory of quasi-categories] *{{nlab|id=%28infinity%2C1%29-category|title=(∞, 1)-category}} {{Category theory}}

Category:Homotopy theory Category:Higher category theory