$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Statistics for tag 001B
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 1 |
| number of chapters used | 1 |
| number of sections used | 1 |
| number of results (indirectly) using this tag | 1375 |
Tags (directly) using this result
- Proposition 1.1.6.8
in Subsection 1.1.6: Directed Graphs as Simplicial Sets
(go to statistics) - Proposition 1.2.3.4
in Subsection 1.2.3: The Geometric Realization of a Simplicial Set
(go to statistics) - Lemma 1.2.3.13
in Subsection 1.2.3: The Geometric Realization of a Simplicial Set
(go to statistics) - Lemma 1.3.4.3
in Subsection 1.3.4: Characterization of Nerves
(go to statistics) - Proposition 1.5.5.14
in Subsection 1.5.5: Trivial Kan Fibrations
(go to statistics) - Proposition 3.3.4.8
in Subsection 3.3.4: The Last Vertex Map
(go to statistics) - Proposition 3.4.2.16
in Subsection 3.4.2: Homotopy Pushout Squares
(go to statistics) - Proposition 3.4.5.4
in Subsection 3.4.5: Digression: Weak Homotopy Equivalences of Semisimplicial Sets
(go to statistics) - Proposition 3.5.1.12
in Subsection 3.5.1: Connectivity
(go to statistics) - Proposition 3.5.2.1
in Subsection 3.5.2: Connectivity as a Lifting Property
(go to statistics) - Proposition 3.5.3.10
in Subsection 3.5.3: Coskeletal Simplicial Sets
(go to statistics) - Proposition 3.5.4.12
in Subsection 3.5.4: Weakly Coskeletal Simplicial Sets
(go to statistics) - Proposition 3.5.4.17
in Subsection 3.5.4: Weakly Coskeletal Simplicial Sets
(go to statistics) - Proposition 3.5.6.12
in Subsection 3.5.6: Higher Fundamental Groupoids
(go to statistics) - Corollary 3.5.9.23
in Subsection 3.5.9: Truncated Morphisms
(go to statistics) - Theorem 3.6.4.1
in Subsection 3.6.4: The Unit Map $u: X \rightarrow \operatorname{Sing}_{\bullet }(|X|)$
(go to statistics) - Proposition 4.5.6.23
in Subsection 4.5.6: Isofibrant Diagrams
(go to statistics) - Theorem 4.5.7.1
in Subsection 4.5.7: Detecting Equivalences of $\infty $-Categories
(go to statistics) - Corollary 4.5.7.3
in Subsection 4.5.7: Detecting Equivalences of $\infty $-Categories
(go to statistics) - Lemma 4.5.8.10
in Subsection 4.5.8: Application: Universal Property of the Join
(go to statistics) - Proposition 4.6.8.24
in Subsection 4.6.8: Morphism Spaces in the Homotopy Coherent Nerve
(go to statistics) - Proposition 4.8.4.11
in Subsection 4.8.4: Higher Homotopy Categories
(go to statistics) - Proposition 4.8.6.20
in Subsection 4.8.6: Essentially Categorical Functors
(go to statistics) - Proposition 4.8.7.14
in Subsection 4.8.7: Categorically Connective Functors
(go to statistics) - Proposition 4.8.9.10
in Subsection 4.8.9: Categorically Connective Morphisms of Simplicial Sets
(go to statistics) - Proposition 5.1.7.9
in Subsection 5.1.7: Equivalence of Inner Fibrations
(go to statistics) - Proposition 5.2.4.5
in Subsection 5.2.4: Fibrations over the $1$-Simplex
(go to statistics) - Theorem 5.6.8.3
in Subsection 5.6.8: Transport Witnesses
(go to statistics) - Proposition 6.3.6.3
in Subsection 6.3.6: Universal Localizations
(go to statistics) - Proposition 6.3.7.2
in Subsection 6.3.7: Subdivision and Localization
(go to statistics) - Proposition 6.3.7.14
in Subsection 6.3.7: Subdivision and Localization
(go to statistics) - Proposition 7.4.1.14
in Subsection 7.4.1: Limits of Spaces
(go to statistics) - Corollary 7.6.2.30
in Subsection 7.6.2: Pullback and Pushout Squares
(go to statistics) - Proposition 7.6.6.9
in Subsection 7.6.6: Small Limits
(go to statistics) - Corollary 8.1.2.4
in Subsection 8.1.2: Homotopy Transport for Twisted Arrows
(go to statistics) - Lemma 9.1.2.12
in Subsection 9.1.2: Local Characterization of Filtered $\infty $-Categories
(go to statistics) - Theorem 9.4.1.20
in Subsection 9.4.1: Uniqueness of Fiberwise Cocompletions
(go to statistics) - Lemma 9.4.4.4
in Subsection 9.4.4: Existence of Fiberwise Cocompletions
(go to statistics) - Lemma 11.9.3.6
in Subsection 11.9.3: The Universal Property of Twisted Arrows
(go to statistics) - Lemma 11.9.3.7
in Subsection 11.9.3: The Universal Property of Twisted Arrows
(go to statistics) - Theorem 11.9.8.4
in Subsection 11.9.8: The Category of Simplices
(go to statistics) - Theorem 11.10.6.3
in Subsection 11.10.6: Relative Homotopy Equivalences
(go to statistics)