$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Statistics for tag 018F
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 23 |
| number of chapters used | 2 |
| number of sections used | 6 |
| number of results (indirectly) using this tag | 1074 |
Tags (directly) using this result
- Proposition 4.3.6.1
in Subsection 4.3.6: Slices of $\infty $-Categories
(go to statistics) - Corollary 4.3.6.17
in Subsection 4.3.6: Slices of $\infty $-Categories
(go to statistics) - Corollary 4.4.2.12
in Subsection 4.4.2: Isomorphisms and Lifting Properties
(go to statistics) - Proposition 4.4.2.13
in Subsection 4.4.2: Isomorphisms and Lifting Properties
(go to statistics) - Proposition 4.6.5.5
in Subsection 4.6.5: Pinched Morphism Spaces
(go to statistics) - Proposition 4.6.5.10
in Subsection 4.6.5: Pinched Morphism Spaces
(go to statistics) - Variant 4.6.6.10
in Subsection 4.6.6: Digression: Diagrams in Slice $\infty $-Categories
(go to statistics) - Proposition 4.6.7.10
in Subsection 4.6.7: Initial and Final Objects
(go to statistics) - Proposition 7.1.5.16
in Subsection 7.1.5: Relative Initial and Final Objects
(go to statistics) - Theorem 7.2.3.1
in Subsection 7.2.3: Quillen's Theorem A for $\infty $-Categories
(go to statistics) - Proposition 7.3.1.15
in Subsection 7.3.1: Kan Extensions along General Functors
(go to statistics) - Proposition 7.3.1.18
in Subsection 7.3.1: Kan Extensions along General Functors
(go to statistics) - Proposition 7.6.6.13
in Subsection 7.6.6: Small Limits
(go to statistics) - Proposition 8.1.2.9
in Subsection 8.1.2: Homotopy Transport for Twisted Arrows
(go to statistics) - Proposition 8.4.7.3
in Subsection 8.4.7: Slices of Cocompletions
(go to statistics) - Lemma 9.1.2.12
in Subsection 9.1.2: Local Characterization of Filtered $\infty $-Categories
(go to statistics) - Lemma 9.1.2.14
in Subsection 9.1.2: Local Characterization of Filtered $\infty $-Categories
(go to statistics) - Proposition 9.2.5.16
in Subsection 9.2.5: Lifting Problems in $\infty $-Categories
(go to statistics) - Corollary 9.2.7.15
in Subsection 9.2.7: Orthogonality
(go to statistics) - Proposition 9.3.1.14
in Subsection 9.3.1: Truncated Objects
(go to statistics) - Proposition 10.3.2.14
in Subsection 10.3.2: Quotient Morphisms
(go to statistics) - Proposition 10.3.4.15
in Subsection 10.3.4: Universal Quotient Morphisms
(go to statistics) - Lemma 10.3.4.16
in Subsection 10.3.4: Universal Quotient Morphisms
(go to statistics)