[[!redirects HTT, fibrations of simplicial sets]] [[!redirects HTT, Fibrations of simplicial sets]] [[!redirects HTT, 2.]] This is a subentry of [[a reading guide to HTT]]. # Contents * Automatic table of contents {: toc} ## 2.0 (Overview and glossary of fibrations and anodyne morphisms) In particular the following notions are important: * [[nLab:left fibration|Left fibrations]]: These are the higher analogs of fibrations in groupoids. * [[nLab:anodyne morphism|Anodyne morphisms]]: These are morphisms possessing the left lifting property with respect to all Kan fibrations. Anodyne morphisms are precisely the acyclic cofibrations in the [[standard model structure on simplicial sets]]. * [[nLab:covariant model structure|The covariant model structure]]: This is a model structure on the over category $sSet/S$. It is a model structure for left fibrations. It is functorial in $S$. It is called *covariant* since by the $\infty$-Grothendieck construction $Fib_l (S)$ is associated to the category of covariant functors $Fun(S,\infty Grpd)$. There is also a notion of *contravariant model structure* where right fibrations $Fib_r (S)$ is associated to $Fun(S^{op},\infty Grpd)$. * [[nLab:Joyal model structure|The Joyal model structure]]: Precisely $\infty$-categories are fibrant with respect to this model structure. * [[nLab:inner fibration]] and [[nLab:minimal fibration]]: These are used to develop a theory of [[nLab:n-category|n-categories]]. * [[nLab:cartesian fibration]]: These are higher analogs to Grothendieck fibrations (not necessarily in groupoids). These are defined with respect to [[nLab:cartesian morphism|cartesian morphisms]]. * [[nLab:categorical fibration]]: These are the fibrations in the [[nLab:Joyal model structure]] on $sSet$ (also called model structure for quasi-categories): Morphisms of simplicial sets possessing the right lifting properties against acyclic cofibrations in this model structure. Here the cofibrations are the monomorphisms and the weak equivalences are called *weak categorical equivalences*. Categorical fibrations have no intrinsic meaning in $\infty$-category theory. Fibrant objects in this model structure are precisely $\infty$-categories. For a general overview see [[nLab:model structure on simplicial sets]] and [[nLab:fibration of quasi-categories]]. +-- {: .un_defn} ###### Definition A morphism of simplicial sets is called 1. a *Kan fibration* if it has the right lifting property with respect to every horn inclusion. 1. a *trivial fibration* if it has the right lifting property with respect to every boundary inclusion $\partial \Delta[n]\hookrightarrow \Delta[n]$. 1. a *left fibration* if it has the right lifting property with respect to every horn inclusion except the right outer one. 1. a *left fibration* if it has the right lifting property with respect to every horn inclusion except the left outer one. 1. a *left fibration* if it has the right lifting property with respect to every inner horn inclusion. 1. *left anodyne* if it has the left lifing property with respect to every left fibration. 1. *right anodyne* if it has the left lifing property with respect to every right fibration. 1. *inner anodyne* if it has the left lifing property with respect to every inner fibration. 1. *minimal fibration* roughly said, when the morphism is determined by its values on the boundaries. 1. *cartesian fibration* 1. *cocartesian fibration* 1. *categorical fibration* =-- We have the following relations of kinds of fibrations where the arrows indicate implication (e.g. an acyclic fibration is a Kan fibration). $$\array{ &acyclic\; fibration \\ &\downarrow \\ &Kan\; fibration \\ \swarrow&&\searrow \\ left \;fibration&&right \;fibration \\ \downarrow&&\downarrow \\ cocartesian\; fibration&&\cartesian\; fibration \\ \searrow&&\swarrow \\ &categorical\; fibration \\ &\downarrow \\ &inner \;fibration }$$ +-- {: .num_remark} ###### Remark We have the following intuition in regard to these types of fibrations 1. Right fibrations are the $\infty$-categorical analog of fibrations in groupoids. 1. Left fibrations are the $\infty$-categorical analog of cofibrations in groupoids. 1. Cartesian fibrations are the $\infty$-categorical analog of fibrations (not necessarily in groupoids). =-- +-- {: .num_remark} ###### Remark (anodyne morphisms) 1. Every map of simplicial sets admits a factorization into an anodyne ((left anodyne, right anodyne, inner anodyne, a cofibration) followed by a Kan fibration (left fibration, right fibration, inner fibration, trivial fibration). 1. The theory of left fibrations and left anodyne morphisms is dual to that of right fibrations and right anodyne morphisms; i.e. if $S\to T$ is a left fibration (left anodyne morphisms) iff the induced map $S^{op}\to T^{op}$ right fibrations and right anodyne morphisms. =-- ## 2.1 Left fibrations ### 2.1.1 Left fibrations in classical category theory Left fibrations are analogs to fibrations in groupoids. +-- {: .un_prop} ###### Proposition 2.1.1.3 + Let $F:C\to D$ be a functor between categories. The $F$ is a fibrations in groupoids iff the induced map $N(F):N(C)\to N(D)$ is a left fibration of simplicial sets. =-- Compare the following lemma with Proposition 2.1.3.1 +-- {: .un_lemma #lemma2.1.1.4} ###### Lemma 2.1.1.4 + Let $q:X\to S$ be a left fibration of simplicial sets. The assignment $$\begin{cases} hS\to H \\ s\mapsto X_s \\f\mapsto f_1 \end{cases}$$ =-- ### 2.1.2 Stability properties of left fibrations The aim of this section is to show that left fibrations exist in abundance. The following remark follows from a theorem of Joyal (not displayed here). +-- {: .un_remark #remark2.1.2.9} ###### Remark (2.1.2.2, 2.1.2.9) (left fibrations) 1. The projection from the over category is a left fibration. 1.The property of being a left fibration is stable under forming functor categories. =-- ### 2.1.3 A characterization of Kan fibrations Compare the following proposition with Lemma 2.1.1.4. +-- {: .num_prop} ###### Proposition 2.1.3.1 + Let $p:S\to T$ be a left fibration of simplicial sets. Then the following statements are equivalent 1. $p$ is a Kan fibration. 1. For every edge $f:t\to t^\prime$ in $T$, the map $f_!:S_t\to S_{t^\prime}$ is an isomorphism in the homotopy category of spaces. =-- ### 2.1.4 The covariant model structure This section is a preparation for the Grothendieck consruction ( more precisely for the $(\infty,0)$-Grothendieck construction) for $\infty$-categories. See also [[Grothendieck construction in HTT]]. Requisites are the discussion of model structures on simplicial sets [[HTT, A.2]] and that of simplicially enriched categories [[HTT, A.3]]. The covariant model structure is a ''relative model structure'' in that it is a [[nLab:model structure on an overcategory]]. In HTT the theory of model structures on over categories is developed only for the case $sSet/S$ of simplicial sets. This model is ''functorial in $S$'' in the sense that every morphism $j:S\to S^\prime$ of simplicial sets induces a Quillen adjunction $(j_!\dashv j^*):sSet/S^\prime\stackrel{j^*}{\to}sSet/S$; see [Proposition 2.1.4.10](#proposition2.1.4.10). For the following definition recall the definition of the *right cone* $X^\triangleright:=X\star \Delta^0$ and the *left cone* $X^\triangleleft:=\Delta^0\star X$ of a simplicial set, where $\star$ denotes the [[nLab:join of simplicial sets]]. +-- {: .un_defn} ###### Definition 2.1.4.2 Let $f:X\to S$ be a map of simplicial sets. The simplicial set $C^\triangleleft(f):=S\coprod_X X^\triangleleft$ is called the *left cone of $f$*. =-- +-- {: .un_remark} ###### Remark 2.1.4.3 Let $f:X\to Y$ be a map of simplicial sets. Then there is a canonical monomorphism $S\to C^\triangleleft(f)$. We hence regard $S\subseteq C^\triangleleft(f)$ as a simplicial subset. There is precisely one vertex of $C^\triangleleft(f)$ which does not belong to $S$. We call this point the *cone point of $C^\triangleleft(f)$*. =-- +-- {: .un_defn} ###### Definition 2.1.4.5 (the covariant model structure aka. model structure for left fibrations) Let $S$ be a simplicial set . A morphism $f:X\to Y$ in $sSet / S$ is called a (C) covariant cofibration if it is a monomorphism of simplicial sets. (W) a covariant weak equivalence if the induced map $$X^\triangleleft\coprod_X S\to Y^\triangleleft\coprod_Y S$$ is a categorical weak equivalence. (F) covariant fibration if it has the right lifting property with respect to every map wich is both a covariant cofibration and a covariant equivalence. =-- +-- {: .num_lemma} ###### Lemma 2.1.4.6 Every left anodyne map is a covariant equivalence. =-- +-- {: .num_prop} ###### Proposition 2.1.4.7 The covariant model structure determines a left proper, combinatorial model structure on $sSet_{/S}$ =-- +-- {: .num_prop} ###### Proposition 2.1.4.9 Every covariant fibration is a left fibration of simplicial sets =-- +-- {: .num_prop #proposition2.1.4.10} ###### Proposition 2.1.4.10 (the covariant model structure is functorial in $S$) For every map $j:S\to S^\prime$ of simplicial sets we have a Quillen adjunction $$(j_!\dashv j^*):sSet/S^\prime\stackrel{j^*}{\to}sSet/S$$ with respect to the covariant model structure where $j_!:=f\circ(-):sSet/S\to sSet/S^\prime$ is the postcomposition-with-$f$ functor and its right adjoint is given by $j^* X^\prime=X^\prime\times_{S^\prime}S$. =-- +-- {: .num_remark} ######Remark 2.1.4.12 There is also a contravariant model structure =-- ## 2.2 Simplicial categories and $\infty$-categories ### 2.2.5 The Joyal model structure [[Joyal model structure in HTT]] ## 2.3 Inner fibrations Every functor $f:C\to D$ of classical categories induces an [[nLab:inner fibration]] $N(C)\to N(D)$ +-- {: .un_cor #corollary2.3.2.2} ###### Corollary 2.3.2.2 $Fun(\Delta[2],C)\to Fun(\Lambda_1[2],C)$ is a trivial fibration. Every $\infty$-category is categorial equivalenct to a minimal $\infty$-category. =-- ### 2.3.3. Minimal inner fibrations +-- {: .num_defn #homotopic relative} ###### Definition Let $$\array{ A&\stackrel{u}{\to}&X \\ \downarrow^i&&\downarrow^p \\ B&\stackrel{v}{\to}&S}$$ denote a lifting problem. Then putative solutions $f,g$ of this lifting problem are called *homotopic relative $A$ over $S$* if they are equivalent as objects in the fiber of the map $$X^B\to X^A\times_{S^A}S^B$$ Equivalently $f,g$ are homotopic relative $A$ over $B$ if there is a map $$F:B\times \Delta[1]\to X$$ such that $F|B\times\{0\}=f$ $F|B\times\{1\}=g$ $p\circ F=v\circ \pi_B$ $F\circ(i\times id_{\Delta[1]})=u\circ\pi_A$ $F|\{b\}\times \Delta[1]$ and $F|\{b\}\times\Delta[1]$ is an equivalence in the $\infty$-category $X_{v(b)}$ for every vertex $b$ of $B$. =-- +-- {: .un_defn} ###### Definition 2.3.3.1 Let $p : X \to S$ be an inner fibration of simplicial sets. $p$ is called *minimal inner fibration* if $f = f^\prime$ for every pair of maps $f , f ^\prime : \Delta[n] \to X$ which are homotopic relative to $\partial \Delta[n]$ over $S$ . An $\infty$-category $C$ is called *minimal $\infty$-category* if $C\to *$ is minimal. =-- (...) Every $\infty$-category is equivalent to a minimal $\infty$-category. ### 2.3.4 Theory of $n$-categories +-- {: .un_prop} ###### Proposition 2.3.4.19 Proposition 2.3.4.5: For a simplicial set $X$ the following statements are equivalent: 1. the unit $u:X\to N(hX)$ is an isomorphism of simplicial sets. 1. There is small category $C$ and an isomorphism of simpliial sets $X\simeq N(C)$. 1. $S$ is a 1-category. =-- +-- {: .un_prop} ###### Proposition 2.3.4.7 Let $C$ be an $\infty$-category. Let $n\ge -1$. Then the following statements are equivalent: 1. $C$ is an $n$-category. 1. For every simplicial set $K$ and every pair of maps $f,g:K\to C$ such that $f| sk^n K$ and $g|sk^n K$ are homotopic relative to $sk^{n-1}K$, we have $f=g$. =-- +-- {: .un_corollary} ###### Corollary 2.3.4.8 Let $C$ be an $n$-category and let $X$ be a simplicial set. Then $Fun(X,C)$ is an $n$-category. =-- +-- {: .un_prop} ###### Proposition 2.3.4.12 Let $C$ be an $\infty$-category. Let $n\ge 1$. 1. There exists a simplicial set $h_n C$ with the following universal mapping property: $Fun(K,h_n C)=[K,C]/\sim$. 1. $h_n C$ is an $n$-category. 1. If $C$ is an $n$-category, then the natural map $\Theta:C\to h_n C$ is an isomorphism. 1. For every $n$-category $D$, composition with $\Theta$ is an isomorphism of simplicial sets $Fun(h_n C,D)\to Fun(C,D)$. =-- +-- {: .un_prop #prop2.3.4.18} ###### Proposition 2.3.4.18 Let $C$ be an $\infty$-category and let $n\ge -1$. The the following statements are equivalent: 1. There exists a minimal model $C^\prime\subseteq C$ such that $C^\prime$ is an $n$-category. 1. There exists a categorical equivalence $D\to C$, where $D$ is an $n$-category. 1. For every pair of objects $X,Y\in C$, the mapping space $Map_C(X,Y)\in H$ is $(n-1)$-truncated. =-- +-- {: .un_cor #cor2.3.4.19} ###### Corollary 2.3.4.19 Let $X$ be a [[nLab:Kan complex]]. Then is is equivalent to an $n$-category iff it is $n$-truncated. =-- ## 2.4 Cartesian fibrations ### 2.4.1 Cartesian morphisms +-- {: .un_defn} ###### Definiton 2.4.1.1 Let $p:X\to S$ be an inner fibrations of simplicial sets. Let $f:x\to y$ be an edge in $X$. Then $f$ is called $p$-cartesian if the induced map $$X_{/f}\to X_{/y}\times_{S_{p(y)}} S_{/p(f)}$$ is a trivial Kan fibration. =-- +-- {: .un_prop} ###### Proposition 2.4.1.3 1. Every edge of a simplicial set is $p$ cartesian for an isomorphism. 1. Let $p$ be an inner fibration, let $q$ be the pullback of $p$ (which s then also an inner fibration). Then an edge is $p$ cartesian if ''its pullback'' is $q$[[nLab:cartesian morphism|-cartesian]]. 1. (...) =-- +-- {: .un_cor} ###### Corollary 2.4.1.6 Let $p:C\to D$ be an inner fibration between $\infty$-categories. Every identity morphism of $C$ (i.e. every degenerate edge of $C$) is $p$-cartesian. =-- +-- {: .un_prop} ###### Proposition 2.4.1.7 (left cancellation) Let $p:C\to D$ be an inner fibration between simplicial sets. Let $$\array{ &C_1& \\ {}_f\nearrow&\searrow^g \\ C_0&\stackrel{h}{\to}&C_2 }$$ Let $g$ be $p$-cartesian. Then $f$ is $p$-cartesian iff $h$ is $p$-cartesian. =-- +-- {: .un_prop} ###### Proposition 2.4.1.10 Let $F:C\to D$ be a functor between simplicial categories. Let $C$ and $D$ be fibrant. Let for every pair of object $c, c^\prime\in C$ be the associated map $$Map_C(c,c^\prime)\to Map_D(F(c),F(c^\prime))$$ be a Kan fibration. Then: 1. The associated map $q:N(C)\to N(D)$ is an inner fibration between $\infty$-categories. 1. A morphism $f:c^\prime\to d$ in $C$ is $q$-cartesian iff for every $e\in C$ the diagram of simplicial sets $$\array{ Map_C(e,c^\prime)&\to&Map_C(e,d) \\ \downarrow&&\downarrow \\ Map_C(F(e),F(c^\prime))&\to&Map_C(F(e),F(d)) }$$ is a homotopy pullback. =-- +-- {: .un_prop} ###### Proposition 2.4.1.13 Let $p:X\to S$ be an inner fibration of simplicial sets. Let $f:x\to y$ be an edge of $X$. Let $\sigma:\Delta^3\to X$ be a 3-simplex such that $d_1 \sigma= s_0 f$ and $d_2\sigma=s_1 f$. Let $\tilde f:\tilde x\to y$ be a $p$-cartesian edge such that $p(\tilde f)=p(f)$. Then $f$ is $p$-cartesian. =-- ### 2.4.2 Cartesian fibrations +-- {: .un_defn} ###### Definition 2.4.2.1 Let $p:X\to S$ be a map of simplicial sets. Then $p$ is called a cartesian fibration if the following coditions are satisfied. 1. $p$ is an inner fibration. 1. Every edge of has a $p$-cartesian lift. =-- +-- {: .un_prop} ###### Proposition 2.4.2.3 1. Any isomorphism of simplicial sets is a cartesian fibration. 1. The class of cartesian fibrations is closed under base change. 1. A composition of cartesian fibrations is a cartesian fibration. =-- +-- {: .un_prop} ###### Proposition 2.4.2.4 =-- ### 2.4.4 Mapping spaces and cartesian fibrations +-- {: .un_cor} ###### Corollary 2.4.4.4 =-- +-- {: .un_cor} ###### Corollary 2.4.4.6 =-- +-- {: .un_cor} ###### Corollary 2.4.4.7 =-- +-- {: .un_cor} ###### Corollary 2.4.4.8 =-- ### 2.4.6 Application: Categorical fibrations +-- {: .un_cor} ###### Corollary 2.4.6.1 =-- ### 2.4.7 Bifibrations +-- {: .un_cor} ###### Corollary 2.4.7.11 =-- +-- {: .un_cor} ###### Corollary 2.4.7.12 =--