Tags: #web/blog #projects/notes/reading
Introduction to infinity categories
These are notes roughly transcribed from https://www.youtube.com/watch?v=3IjAy0gHRyY
Preliminary Definitions
Dealing with size issues: take a Grothendieck universe \(\mathcal{U}\), which are the sets whose subsets are closed under all of the usual set operations.
This is a specialized notion of a infinity categories are Kan complexes.
A functor between two \(\infty{\hbox{-}}\)categories is a morphism of simplicial sets.
For \(\mathcal{C}\) an \(\infty{\hbox{-}}\)category, we can define \(\mathcal{C}_0\) to be the “objects” and \(\mathcal{C}_1\) to be the “morphisms”, although we don’t have a good notion of composition yet. There will be boundary map: a 1-simplex has two boundary points, i.e. two objects \(a, b \in \mathcal{C}_0\), so we can think of this as a map \(f: a\to b\) where \(a = {\partial}_1 f, b= {\partial}_0 f\) 1 are the first and second vertices respectively. We’ll also have “degeneracy” maps going up from \(\mathcal{C}_0 \to \mathcal{C}_1\), which we should think of as assigning identity morphisms to objects, or conversely that the identity morphism is the degenerate 1-simplex at an object.
Equivalences
Given two morphisms \(f, g: a\to b\) in an \(\infty{\hbox{-}}\)category, we say \(f\simeq g\) are equivalent iff there is a 2-simplex filling in the following diagram:
This turns out to be an equivalence relation. Note that in an ordinary category, if two morphisms are equivalent then they are already equal.
For 1-simplices \(f: a\to b, g:b\to c\), a composition of \(f\) and \(g\) is a 2-simplex \(\sigma\) filling in the following diagram:
In this case, \(h \coloneqq{{\partial}}_1 \sigma\) and we write \(h \simeq g\circ f\).
Note that we’re not fixing a choice, but it is well-defined up to the equivalence relation we’re using. This is similar to how e.g. coproducts are not baked into the structure of a category, but are instead only well-defined up to canonical isomorphism – and in fact, this characterization is sometimes preferable.
If \(f: a\to b\) is a morphism in an \(\infty{\hbox{-}}\)category \(\mathcal{C}\), then we say \(f\) is an equivalence if there exists a morphism \(g:b\to a\) such that \(\operatorname{id}_a \simeq g\circ f\) and \(\operatorname{id}_b \simeq f\circ g\). This is equivalent to finding 2-simplices \(\sigma, \sigma'\) that fill the following two diagrams:
This is close to what we’d require for an isomorphism in an ordinary category, but we now allow the compositions to only be “weakly equivalent” or homotopic to the identities.
For \(\mathcal{C}, \mathcal{D}\) simplicial sets, we can define a simplicial set \({\mathsf{Fun}}(\mathcal{C}, \mathcal{D})\) whose \(n{\hbox{-}}\)simplices are given by \begin{align*} {\mathsf{Fun}}(\mathcal{C}, \mathcal{D})_n \coloneqq\left\{{ \text{Simplicial maps } F: \mathcal{C} \times\Delta^n \to \mathcal{D}}\right\} .\end{align*}
Note that the 0-simplices recover functors if these are ordinary categories. If \(\mathcal{D}\) is an \(\infty{\hbox{-}}\)category, then this functor category is again an \(\infty{\hbox{-}}\)category.
A morphism in \({\mathsf{Fun}}(\mathcal{C}, \mathcal{D})\), say \(\eta: F\to G\), is a functor \(\eta: C\times\Delta^n \to \mathcal{D}\) such that \begin{align*} { \left.{{\eta}} \right|_{{\mathcal{C} \times\left\{{0}\right\}}} } &= F \\ { \left.{{\eta}} \right|_{{\mathcal{C} \times\left\{{1}\right\}}} } &= G .\end{align*} We call such an \(\eta\) a natural transformation from \(F\) to \(G\).
Being an equivalence in \({\mathsf{Fun}}(\mathcal{C}, \mathcal{D})\) is equivalent to being a pointwise equivalence. I.e., \(\eta\) is an equivalence iff the map \(\eta_{{C}}\) given by partially applying an object of \(\mathcal{C}\) (i.e. a 1-simplex \(\Delta^n \to \mathcal{D}\)) is an equivalence in \(\mathcal{D}\) for all objects \(C\in {\operatorname{Ob}}(\mathcal{C})\).
A functor \(f:\mathcal{C}\to \mathcal{D}\) of \(\infty{\hbox{-}}\)categories is an equivalence iff there exists a functor \(g: \mathcal{D}\to \mathcal{C}\) and natural equivalences \begin{align*} f\circ g &\xrightarrow{\sim} \operatorname{id}_{\mathcal{D}} \\ g\circ f &\xrightarrow{\sim} \operatorname{id}_{\mathcal{C}} .\end{align*} If there exists such an equivalence, we will write \(\mathcal{C}\simeq\mathcal{D}\).
For ordinary categories, there is a characteristic property that is much easier to write down in general than an explicit equivalence, namely being essentially surjective and fully faithful. We need the notion of mapping spaces to make that precise here.
Composition
mapping spaces
For \(a, b\in {\operatorname{Ob}}(\mathcal{C})\), we define a simplicial set \(\mathop{\mathrm{Maps}}_{\mathcal{C}}(a, b)\) as the following pullback:
Here we use the fact if \(F\in {\mathsf{Fun}}(\Delta^1, \mathcal{C})\), this data includes two maps \(f, g: \Delta^0 \to \mathcal{C}\) given by restricting to the two vertices of \(\Delta^1\). This allows us to define a map \((f, g)\) into \(\mathcal{C}^2\). In that product, we also have the point \(a, b\), which allows defining the bottom map \((a, b)\).
Also note that if \(\mathcal{C}\) is in fact an \(\infty{\hbox{-}}\)category, then \(\mathop{\mathrm{Maps}}_{\mathcal{C}}(a, b)\) is a Kan complex. The 0-simplices in it are precisely the morphisms in \({\mathsf{Fun}}(\Delta^n, \mathcal{C})\) with endpoints \(a, b\), and there is a filling 1-simplex between any two such morphisms iff they are equivalent. We can thus conclude that \begin{align*} \pi_0 \mathop{\mathrm{Maps}}_{\mathcal{C}}(a, b) = \left\{{\text{Equivalence classes of morphism } f:a\to b}\right\} .\end{align*}
A functor \(f: \mathcal{C} \to \mathcal{D}\) is fully faithful the induced maps \begin{align*} f_*: \mathop{\mathrm{Maps}}_{\mathcal{C}}(a, b) \to \mathop{\mathrm{Maps}}_{\mathcal{D}}(f(a), f(b)) \end{align*} are homotopy equivalences of Kan complexes for all pairs of objects \(a, b\in {\operatorname{Ob}}(\mathcal{C})\).
Note that this does imply bijections on (equivalence classes) of morphisms in hom sets, i.e. on \(\pi_0\), but in general this is much more because we are requiring an induced isomorphism on all higher homotopy groups as well.
This is not something that can easily be checked on just morphisms.
A functor \(f:\mathcal{C}\to \mathcal{D}\) is essentially surjective iff for every \(d\in \mathcal{D}\), there exists an object \(c\in \mathcal{C}\) and an equivalence \(d \simeq f(c)\).
A functor \(f: \mathcal{C}\to \mathcal{D}\) is an equivalence iff \(f\) is fully faithful and essentially surjective.
Let \(S \subset \mathcal{C}_0\) be some subset of objects, and define \(\mathcal{C}_S \subset \mathcal{C}\) as a simplicial subset given by \begin{align*} \mathcal{C}_S \coloneqq\left\{{\text{All simplices with vertices in } S}\right\} .\end{align*}
That this is an \(\infty{\hbox{-}}\)category follows from checking definitions.
If we first saturate \(S\) under equivalence of objects, i.e. form the larger subset \(\mkern 1.5mu\overline{\mkern-1.5muS\mkern-1.5mu}\mkern 1.5mu \supseteq S\) consisting of all objects in \(\mathcal{C}\) which are equivalent to some object in \(S\), this produces a functor \begin{align*} F: \mathcal{C}_S \hookrightarrow\mathcal{C}_{\mkern 1.5mu\overline{\mkern-1.5muS\mkern-1.5mu}\mkern 1.5mu} ,\end{align*} which is fully faithful and essentially surjective 2 and thus an equivalence. So if you’re interested in categories up to equivalence, this replacement is always a valid move.
Homotopic (and Contractible Spaces of) Choices
Note that the pullback construction from before seems to generalize:
This can be thought of as the space of \(n{\hbox{-}}\)simplices whose vertices are at the \(n+1\) given objects. We can define compositions of morphisms by taking \(n=3\), and applying boundary operators yields maps
where the existence of \(h\) follows from the fact that \(f\) is an equivalence and can thus be inverted. This is induced by maps on Kan complexes
where we’re taking the inner horn and the outer face respectively. This can be thought of as horn-filling in families.
Why is this important? Given two morphisms, we can pick a composition, and there are multiple ways to do so. We can then look at the middle face to define the actual composition, up to equivalence of morphisms. This relies on a choice of homotopy inverse \(s\), allowing us to define a map \(\circ_s\). But given an equivalence, there is a unique homotopy inverse up to homotopy, so any two choices of \(s\), say \(s\) and \(s'\) give homotopic maps \(\circ_s\) and \(\circ_{s'}\). In good situations, we have even more: the space of such choices will be contractible choice, which is stronger than there just being a homotopy between any two choices. So composition is “unique”, it’s just that there’s not one preferred choice.
Associativity follows from a similar line of reasoning applied to \(\mathop{\mathrm{Maps}}_{\mathcal{C}}(a,b,c,d)\) on four objects. Compare this to Segal categories, where such spaces are part of the data: categories weakly enriched in spaces, and \(\infty{\hbox{-}}\)categories recover this for free. There is a way to think of \(\infty{\hbox{-}}\)categories as “categories enriched in Kan complexes” with a more strict condition of associativity.
We recover all of ordinary category theory when the mapping spaces are discrete. Looking at Kan complexes also yields \(\infty{\hbox{-}}\)categories where all of the morphisms are invertible, so these are in fact infinity groupoids. For us, “spaces” and Kan complexes are synonymous, and the \(\infty{\hbox{-}}\)category of spaces will be the fundamental example we run with.