## 1.2.1 the opposite of an $\infty$-category For topological and simplicial categories the definition of the opposite category is the same as the notion from classical category theory. For a simplicial set we obtain the opposite simplicial set by component- wise reversing the order of the ordinal. +-- {: .num_defn} ###### Definition Let $S$ be a simplicial set. Let $J$ be a linear ordered set. Then the face and degeneracy maps on $S^{op}$ are given by. $$(d_i:S_n^{op}\to S_{n-1}^{op})=(d_{n-i}:S_n\to S_{n-1})$$ $$(s_i:S_n^{op}\to S_{n+1}^{op})=(s_{n-i}:S_n\to S_{n+1})$$ =-- ## 1.2.2 mapping spaces in higher category theory +-- {: .num_defn} ###### Definition Let $S$ be a simplicial set. Let $x,y\in S$ be vertices. Then the *simplicial mapping space* is defined by $$Map_S (x,y):=Map_{|S|} (x,y)$$ where $|-|:sSet Cat\to s Set$ denotes the adjoint of the [[nLab:homotopy coherent nerve]]: the [[homotopy coherent realization]]. We have $$|-|=Lan_y \mathfrak{C}$$ where $y:\Delta\hookrightarrow [\Delta^{op},Set]$ denotes the Yoneda embedding and $\mathfrak{C}: \Delta\to sSet Cat$ denotes the [[cosimplicial-thickening functor]]. We think of $\mathfrak{C}$ as assigning to an ordinal $[n]$ (considered as a category) a simplicially-enriched category which is thickened. =-- +-- {: .un_prop} ###### Proposition 1.2.3.5 Let $C$ be an $\infty$-category. Two parallel edges of $S$ are called *homotopic* if there is a $2$-simplex joining them. Homotopy is an equivalence relation on $hS$. =-- ## 1.2.3 the homotopy category +-- {: .num_remark} ###### Remark and Definition Let $C$ be a classical category. Then $$(h\dashv N):Cat\stackrel{N}{\to}sSet$$ exhibits $Cat$ as a full reflective subcategory of $sSet$. Here $N$ denotes the (classical) nerve functor an $h$ assigns to a simplicial set $S$ its *homotopy category*. Joyal calls $hS$ the *fundamental category of $S$* since if $S$ is a Kan complex $hS$ is the fundamental groupoid of $S$. Moreover $N$ can be written as a composition $$Cat\xhookrightarrow{i}sSet Cat\stackrel{N^\prime}{\to}sSet$$ where $N^\prime$ denotes the simplicial nerve functor and $i$ denotes inclusion. $$(\pi_0\dashv \iota):Set\stackrel{\iota}{\to}sSet$$ is a reflective subcategory. =-- +-- {: .num_remark} ###### Remark (presentation of the homotopy category by generators and relations) Let $S$ be a simplicial set. * We have $Ob(hS)=Ob(S)$ * For each $\sigma:\Delta^1\to S$, there is a morphism $\overline \phi:\phi(0)\to \phi(1)$. * For each $\sigma:\Delta^2\to S$, we have $\overline{d_0(\sigma)}\circ\overline{d_2(\sigma)}=\overline{d_1(\sigma)}$ * For each vertex $x$ of $S$, the morphism $\overline{s_0 s}$ is the identity $id_x$. =-- ## 1.2.4 objects, morphisms and equivalences +-- {: .num_remark} ###### Remark Let $S$ be a simplicial set. * Vertices $\Delta^0\to S$ of $S$ are called *objects of $S$. * Edges $\Delta^1\to S$ are called *morphisms* of $S$. * A morphism in $S$ is called an *equivalence* if it is an isomorphism in the homotopy category $hS$. * Two parallel edges of $S$ are called *equivalent* if there is a $2$-simplex between them which is an equivalence. =-- ## 1.2.5 groupoids and classical homotopy theory +-- {: .num_prop} ###### Proposition 1.2.5.1 Let $C$ be a simplicial set. The the following conditions are equivalent: 1. $C$ is an $\infty$-category and $hC$ is a groupoid. 1. $C$ satisfies the horn-filling condition. 1. $C$ satisfies the horn-filling condition for all horns except the left outer horn. 1. $C$ satisfies the horn-filling condition for all horns except the right outer horn. =-- ## 1.2.6 homotopy commutativity versus homotopy coherence ## 1.2.7 functors between higher categories ## 1.2.8 joins of $\infty$-categories ## 1.2.9 overcategories and undercategories ## 1.2.10 fully faithful and essentially surjective functors ## 1.2.11 subcategories of $\infty$-categories ## 1.2.12 initial and final objects ## 1.2.13 limits and colimits ## 1.2.14 presentations of $\infty$-categories ## 1.2.15 Set-theoretic technicalties ## 1.2.16 the $\infty$-category of spaces