# Contents * Automatic table of contents {: toc} ## 2.0 +-- {: .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* =-- +-- {: .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 +-- {: .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. =-- +-- {: .un_lemma} ###### 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}$$ =-- +-- {: .num_remark} ###### 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.3 Inner fibrations and minimal inner fibrations 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 +-- {: .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.19 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_corollary} ###### 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.1.3 (characterization of Kan fibrations by maps between their fibers. +-- {: .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 for $\infty$-categories. uses the model structure on simplicially enriched categories +-- {: .un_defn} ###### Definition 2.1.4.2 left- and right cone of a morphism of simplicial sets cone point =-- The covariant model structure is a ''relative model structure'' +-- {: un_defn} ###### Definition 2.1.4.5 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} ###### Proposition 2.1.4.10 The covariant model structure is functorial in $S$. =-- +-- {: .num_remark} ######Remark 2.1.4.12 There is also a contravariant model structure =-- ###2.2.5 The Joyal model structure Requisite: Theorem 2.4.6.1: Let $X$ be a simplicial set. Then $X$ is fibrant in the Joyal model structure iff $X$ is an $\infty$-category. +-- {: .un_theorem} ###### Theorem 2.2.5.1 The exists a left proper, combinatorial model structure on the category of simplicial sets such that (C) Cofibrations are precisely monomorphisms (W) A map $p$ is a categorical equivalence iff $S(p)$ is an equivalence of simplicial categories. =-- here: give proof of Proposition 1.2.7.3 ## 2.4 Cartesian fibrations +-- {: .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$-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 (...) =-- +-- {: .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 =-- +-- {: .un_prop} ###### Proposition 2.4.2.4 =-- +-- {: .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 =-- +-- {: .un_cor} ###### Corollary 2.4.6.1 =-- +-- {: .un_cor} ###### Corollary 2.4.7.11 =-- +-- {: .un_cor} ###### Corollary 2.4.7.12 =--