1.5 $\infty$ -Cosmoi

There are a variety of models of infinite-dimensional categories for which the category of “ $\infty$ -categories,” as we call them, and “ $\infty$ -functors” between them is enriched over quasi-categories and admits classes of isofibrations, equivalences, and trivial fibrations satisfying certain properties that are familiar from abstract homotopy theory. ¹ In particular, the use of isofibrations in diagrams guarantees that their strict limits are equivalence invariant, so we can take advantage of up-to-isomorphism universal properties and strict functoriality of these constructions while still working “homotopically.” This motivates the following axiomatization:

Definition 1.5.1

\infty

-cosmos

✓

An $\infty$ -cosmos $K$ is a category that is enriched over quasi-categories, ² meaning in particular that

its morphisms $f : A \to B$ define the vertices of a quasi-category denoted $Fun (A, B)$ and referred to as a functor space,

that is also equipped with a specified collection of maps that we call isofibrations and denote by “ $↠$ ” satisfying the following two axioms:

(completeness) The quasi-categorically enriched category $K$ possesses a terminal object, small products, pullbacks of isofibrations, limits of countable towers of isofibrations, and cotensors with simplicial sets, each of these limit notions satisfying a universal property that is enriched over simplicial sets. ³
(isofibrations) The isofibrations contain all isomorphisms and any map whose codomain is the terminal object; are closed under composition, product, pullback, forming inverse limits of towers, and Leibniz cotensors with monomorphisms of simplicial sets; and have the property that if $f : A ↠ B$ is an isofibration and $X$ is any object then $Fun (X, A) ↠ Fun (X, B)$ is an isofibration of quasi-categories.

For ease of reference, we refer to the simplicially enriched limits of diagrams of isofibrations enumerated in i as the cosmological limit notions.

Definition 1.5.2

In an $\infty$ -cosmos $K$ , a morphism $f : A \to B$ is an equivalence just when the induced map $f_{*} : Fun (X, A) ⇝ Fun (X, B)$ on functor spaces is an equivalence of quasi-categories for all $X \in K$ .

Definition 1.5.3

In an $\infty$ -cosmos $K$ , a morphism $f : A \to B$ is a trivial fibration just when $f$ is both an isofibration and an equivalence.

These classes are denoted by “ $⇝$ ” and “ $↠$ ”, respectively. ⁴

Put more concisely, one might say that an $\infty$ -cosmos is a “quasi-categorically enriched category of fibrant objects.”

Convention 1.5.4

\infty

-category, as a technical term

Henceforth, we recast $\infty$ -category as a technical term to refer to an object in an arbitrary ambient $\infty$ -cosmos. Similarly, we use the term $\infty$ -functor — or more commonly the elision “functor” — to refer to a morphism $f : A \to B$ in an $\infty$ -cosmos. This explains why we refer to the quasi-category $Fun (A, B)$ between two $\infty$ -categories in an $\infty$ -cosmos as a “functor space”: its vertices are the ( $\infty$ -)functors from $A$ to $B$ .

Definition 1.5.5

The underlying category $K_{0}$ of an $\infty$ -cosmos $K$ is the category whose objects are the $\infty$ -categories in $K$ and whose morphisms are the $0$ -arrows, i.e., the vertices in the functor spaces.

In all of the examples to appear in §1.7, this recovers the expected category of $\infty$ -categories in a particular model and functors between them. This is compatible with the Lean formalization of simplicial categories as “enriched ordinary categories,” which have a prior 1-category structure which is explicitly identified with the underlying 1-category of the simplicially enriched category.

The following results are consequences of the axioms of Definition 1.5.1. To begin, observe that the trivial fibrations enjoy the same stability properties satisfied by the isofibrations.

Lemma 1.5.6 trivial fibrations and conical limits

The trivial fibrations in an $\infty$ -cosmos define a subcategory containing the isomorphisms and are stable under product, pullback, and forming inverse limits of towers.

Proof ▶

We know in each case that the maps in question are isofibrations in the $\infty$ -cosmos; it remains to show only that the maps are also equivalences. The equivalences in an $\infty$ -cosmos are defined to be the maps that $Fun (X, -)$ carries to equivalences of quasi-categories, so it suffices to verify that trivial fibrations of quasi-categories satisfy the corresponding stability properties. These stability properties hold of any class defined by a right lifting property.

Lemma 1.5.7 trivial fibrations and cotensors

In an $\infty$ -cosmos, the Leibniz cotensors of any trivial fibration with a monomorphism of simplicial sets is a trivial fibration as is the Leibniz cotensor of an isofibration with a map in the class cellularly generated by the inner horn inclusions and the map $[0] ↪ I$ .

Proof ▶

We know in each case that the maps in question are isofibrations in the $\infty$ -cosmos; it remains to show only that the maps are also equivalences. The equivalences in an $\infty$ -cosmos are defined to be the maps that $Fun (X, -)$ carries to equivalences of quasi-categories, so it suffices to verify that trivial fibrations of quasi-categories satisfy the corresponding stability properties. This follows from the cartesian closure of the Joyal model structure.

Lemma 1.5.8 representable trivial fibrations

If $E ↠ B$ is a trivial fibration in an $\infty$ -cosmos, then is $Fun (X, E) ↠ Fun (X, B)$ is a trivial fibration of quasi-categories.

Proof ▶

By axiom 1.5.1 ii and the definition of the trivial fibrations in an $\infty$ -cosmos, we know that if $E ↠ B$ is a trivial fibration then $Fun (X, E) ↠ Fun (X, B)$ is both an isofibration and an equivalence, and hence is a trivial fibration by the compatibility of these classes in the Joyal model structure.

By a Yoneda-style argument, the “homotopy equivalence” characterization of the equivalences in the $\infty$ -cosmos of quasi-categories of Definition 1.3.15 extends to an analogous characterization of the equivalences in any $\infty$ -cosmos:

Lemma 1.5.9 equivalences are homotopy equivalences

A map $f : A \to B$ between $\infty$ -categories in an $\infty$ -cosmos $K$ is an equivalence if and only if it extends to the data of a “homotopy equivalence” with the free-living isomorphism $I$ serving as the interval: that is, if there exist maps $g : B \to A$

$\begin{tikzcd} & A & & & B \\ A \arrow[ur, equals] \arrow[dr, "gf"'] \arrow[r, "\alpha"] & A^\iso \arrow[u, two heads, "\sim", "\ev_0"'] \arrow[d, two heads, "\sim"', "\ev_1"] & \text{and} & B \arrow[dr, equals] \arrow[r, "\beta"] \arrow[ur, "fg"] & B^\iso \arrow[u, two heads, "\sim", "\ev_0"'] \arrow[d, two heads, "\sim"', "\ev_1"] \\ & A & & & B \end{tikzcd}$

in the $\infty$ -cosmos.

Proof ▶

By hypothesis, if $f : A \to B$ defines an equivalence in the $\infty$ -cosmos $K$ then the induced map on post-composition $f_{*} : Fun (B, A) ⇝ Fun (B, B)$ is an equivalence of quasi-categories in the sense of Definition 1.3.15. Evaluating the inverse equivalence $\tilde{g} : Fun (B, B) ⇝ Fun (B, A)$ and homotopy $\tilde{β} : Fun (B, B) \to Fun (B, B)^{I}$ at the 0-arrow ${id}_{B} \in Fun (B, B)$ , we obtain a 0-arrow $g : B \to A$ together with an isomorphism $β : I \to Fun (B, B)$ from the composite $f g$ to ${id}_{B}$ . By the defining universal property of the cotensor 1.4.1, this isomorphism internalizes to define the map $β : B \to B^{I}$ in $K$ displayed on the right of the displayed equation in the statement.

Now the hypothesis that $f$ is an equivalence also provides an equivalence of quasi-categories $f_{*} : Fun (A, A) ⇝ Fun (A, B)$ , and the map $β f : A \to B^{I}$ represents an isomorphism in $Fun (A, B)$ from $f g f$ to $f$ . Since $f_{*}$ is an equivalence, we conclude from Lemma 1.3.16 that ${id}_{A}$ and $g f$ are isomorphic in the quasi-category $Fun (A, A)$ : explicitly, such an isomorphism may be defined by applying the inverse equivalence $\tilde{h} : Fun (A, B) \to Fun (A, A)$ and composing with the components at ${id}_{A}, g f \in Fun (A, A)$ of the isomorphism $\tilde{α} : Fun (A, A) \to Fun (A, A)^{I}$ from ${id}_{Fun (A, A)}$ to $\tilde{h} f_{*}$ . Now by Proposition 1.3.12 this isomorphism is represented by a map $I \to Fun (A, A)$ from ${id}_{A}$ to $g f$ , which internalizes to a map $α : A \to A^{I}$ in $K$ displayed on the left of the displayed equation in the statement.

The converse is easy: the simplicial cotensor construction commutes with $Fun (X, -)$ , so a homotopy equivalence induces a homotopy equivalence of quasi-categories as in Definition 1.3.15.

Lemma 1.5.10

The equivalences in an $\infty$ -cosmos are closed under retracts and satisfy the 2-of-3 property: given a composable pair of functors and their composite, if any two of these are equivalences so is the third.

By the representable definition of equivalences and functoriality, Lemma 1.5.10 follows easily from the corresponding results for equivalences between quasi-categories. But we can also prove the general cosmological result without relying on this base case.

Proof ▶

Let $f : A ⇝ B$ be an equivalence equipped with the data described in the statement of Lemma 1.5.9 and consider a retract diagram

$\begin{tikzcd} C \arrow[r, "u"'] \arrow[rr, bend left, equals] \arrow[d, "h"'] & A \arrow[d, "\sim", "f"'] \arrow[r, "v"'] & C \arrow[d, "h"] \\ D \arrow[r, "s"] \arrow[rr, bend right, equals] & B \arrow[r, "t"] & D \end{tikzcd}$

By Lemma 1.5.9, to prove that $h : C \to D$ is an equivalence, it suffices to construct the data of an inverse homotopy equivalence. To that end define $k : D \to C$ to be the composite $v g s$ and then observe from the commutative diagrams

$\begin{tikzcd} & & & &[-3pt] & & C \arrow[dr, "h"] \\ & & A \arrow[r, "v"'] &C & &A \arrow[r, "f"'] \arrow[ur, "v"'] & B \arrow[r, "t"] & D \\ C \arrow[r, "u"] \arrow[d, "h"'] \arrow[urrr, bend left=40, equals] & A \arrow[d, "f"'] \arrow[r, "\alpha"] \arrow[ur, equals] & A^\iso \arrow[u, "\ev_0"'] \arrow[d, "\ev_1"] \arrow[r, "{v^\iso}"] & C^\iso \arrow[u, "\ev_0"'] \arrow[d, "\ev_1"] & D \arrow[r, "s"] \arrow[drrr, equals, bend right=40] \arrow[uurr, bend left=30, "k"] & B\arrow[u, "g"'] \arrow[r, "\beta"] \arrow[dr, equals] & B^\iso \arrow[r, "t^\iso"] \arrow[d, "\ev_1"]\arrow[u, "\ev_0"'] & D^\iso \arrow[d, "\ev_1"] \arrow[u, "\ev_0"'] \\ D \arrow[r, "s"] \arrow[rrr, bend right=20, "k"'] & B \arrow[r, "g"] & A \arrow[r, "v"] & C & & & B \arrow[r, "t"] & D \end{tikzcd}$

that $v^{I} α u : C \to C^{I}$ and $t^{I} β s : D \to D^{I}$ define the required homotopy coherent isomorphisms.

Via Lemma 1.5.9, the 2-of-3 property for equivalences follows from the fact that the set of isomorphisms in a quasi-category is closed under composition. Homotopy coherent isomorphisms in a quasi-category represent isomorphisms in the homotopy category, whose composite in the homotopy category is then an isomorphism, which can be lifted to a representing homotopy coherent isomorphism by Proposition 1.3.12. We now apply this to the homotopy coherent isomorphisms in the functor spaces of an $\infty$ -cosmos that form part of the data of an equivalence of $\infty$ -categories.

To prove that equivalences are closed under composition, consider a composable pair of equivalences with their inverse equivalences

$\begin{tikzcd} A \arrow[r, shift left=.5em, "\sim"', "f"] & B \arrow[r, shift left=.5em, "\sim"', "g"] \arrow[l, shift left=.5em, "k", "\sim"'] & C \arrow[l, shift left=.5em, "\sim"', "h"] \end{tikzcd}$

The equivalence data of Lemma 1.5.9 defines isomorphisms $α : {id}_{A} ≅ k f \in Fun (A, A)$ and $γ : {id}_{B} ≅ h g \in Fun (B, B)$ , the latter of which whiskers to define $k γ f : k f ≅ k h g f \in Fun (B, B)$ . Composing these, we obtain an isomorphism ${id}_{A} ≅ k h g f \in Fun (A, A)$ , witnessing that $k h$ defines a left equivalence inverse of $g f$ . The other isomorphism is constructed similarly.

To prove that the equivalences are closed under right cancelation, consider a diagram

$\begin{tikzcd} A \arrow[r, "\sim"', "f"] & B \arrow[r, "g"] \arrow[l, shift left=1em, "k", "\sim"'] & C \arrow[ll, bend right=45, "\sim", "\ell"'] \end{tikzcd}$

with $k$ an inverse equivalence to $f$ and $ℓ$ and inverse equivalence to $g f$ . We claim that $f ℓ$ defines an inverse equivalence to $g$ . One of the required isomorphisms ${id}_{C} ≅ g f ℓ$ is given already. The other is obtained by composing three isomorphisms in $Fun (B, B)$

$\begin{tikzcd} \id_B \arrow[r, "\cong"', "\beta^{-1}"] & fk \arrow[r, "f\delta k", "\cong"'] & f\ell gf k \arrow[r, "f\ell g\beta", "\cong"'] &f \ell g.\end{tikzcd}$

The proof of stability of equivalence under left cancelation is dual.

The trivial fibrations admit a similar characterization as split fiber homotopy equivalences.

Lemma 1.5.11 trivial fibrations split

Every trivial fibration admits a section

$\begin{tikzcd} & E \arrow[d, two heads, "\sim"', "p"] \\ B \arrow[ur, dashed, "s"] \arrow[r, equals] & B \end{tikzcd}$

that defines a split fiber homotopy equivalence

$\begin{tikzcd} E \arrow[r, "\alpha"'] \arrow[rr, end anchor = 165, start anchor = 30, bend left=20, "{(\id_E, sp)}"] \arrow[d, two heads, "p"'] & E^\iso \arrow[d, two heads, "p^\iso"'] \arrow[r, two heads, "{(\ev_0,\ev_1)}"'] & E \times E \\ B \arrow[r, "\Delta"'] & B^\iso \end{tikzcd}$

and conversely any isofibration that defines a split fiber homotopy equivalence is a trivial fibration.

Proof ▶

If $p : E ↠ B$ is a trivial fibration, then by the stability property of Lemma 1.5.8, so is $p_{*} : Fun (X, E) ↠ F u n (X, B)$ for any $\infty$ -category $X$ . By Definition 1.3.17, we may solve the lifting problem below-left

$\begin{tikzcd} \emptyset=\partial\Delta[0] \arrow[d, hook] \arrow[r] & \Fun(B,E) \arrow[d, two heads, "\sim"', "p_*" pos=.4] & \catone +\catone \arrow[d, hook] \arrow[rr, "{(\id_E,sp)}"] & & \Fun(E,E) \arrow[d, two heads, "\sim"', "p_*" pos=.4] \\ \catone= \Delta[0] \arrow[ur, dashed, "s"] \arrow[ur, dashed] \arrow[r, "\id_B"'] & \Fun(B,B) & \iso \arrow[r, "!"'] \arrow[urr, dashed, "\alpha"] & \catone \arrow[r, "p"'] & \Fun(E,B) \end{tikzcd}$

to find a map $s : B \to E$ so that $p s = {id}_{B}$ , and then solve the lifting problem above-right to construct the desired fibered homotopy. The converse is immediate from Lemma 1.5.9.

A classical construction in abstract homotopy theory proves the following:

Lemma 1.5.12 Brown factorization lemma

Any functor $f : A \to B$ in an $\infty$ -cosmos may be factored as an equivalence followed by an isofibration, where this equivalence is constructed as a section of a trivial fibration.

$\begin{tikzcd} & Pf \arrow[dr, two heads, "p"] \arrow[dl, two heads, bend right, start anchor=190, end anchor=70, "q"'] & \\ A \arrow[rr, "f"'] \arrow[ur, bend right=25, start anchor=30, end anchor=230, "\sim", "s"' pos = 0.6] & & B \end{tikzcd}$

Moreover, $f$ is an equivalence if and only if the isofibration $p$ is a trivial fibration.

Proof ▶

The displayed factorization is constructed by the pullback of an isofibration formed by the simplicial cotensor of the inclusion $[0] + [0] ↪ I$ into the $\infty$ -category $B$ .

$\begin{tikzcd} & A^\iso \arrow[dr, "f^\iso"] & \\ A \arrow[r, "\sim", "s"'] \arrow[ur, "\Delta"] \arrow[dr, "{(A,f)}"'] & Pf \arrow[r] \arrow[d, two heads, "{(q,p)}"' pos=.4] \arrow[dr, phantom, "\lrcorner" very near start] & B^\iso \arrow[d, two heads, "{(\ev_0,\ev_1)}"] \\ & A \times B \arrow[r, "f \times B"'] & B \times B \end{tikzcd}$

Note the map $q$ is a pullback of the trivial fibration ${ev}_{0} : B^{I} ↠ B$ and is hence a trivial fibration. Its section $s$ , constructed by applying the universal property of the pullback to the displayed cone with summit $A$ , is thus an equivalence by the 2-of-3 property. Again by 2-of-3, it follows that $f$ is an equivalence if and only if $p$ is. □

Remark 1.5.13 equivalences satisfy the 2-of-6 property

In fact the equivalences in any $\infty$ -cosmos satisfy the stronger 2-of-6 property: for any composable triple of functors

$\begin{tikzcd} & B \arrow[dr, "hg", "\sim"'] \\ A \arrow[ur, "f"] \arrow[dr, "gf"',"\sim"] \arrow[rr, "hgf" near start] & & D \\ & C\arrow[from = uu, crossing over, "g" near end] \arrow[ur, "h"'] \end{tikzcd}$

if $g f$ and $h g$ are equivalences then $f$ , $g$ , $h$ , and $h g f$ are too. An argument of Blumberg and Mandell [ BM11 , 6.4 ] uses Lemmas 1.5.10, 1.5.11, and 1.5.12 to prove that the equivalences have the 2-of-6 property.

1.5 ∞-Cosmoi

1.5 $\infty$ -Cosmoi