$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Statistics for tag 02X9
Complexity measure
metric | value |
---|---|
number of results in proof | 4 |
number of results used in preliminary results | 339 |
number of chapters used | 5 |
number of sections used | 43 |
number of results (indirectly) using this tag | 7 |
Tags (directly) using this result
- Proposition 7.1.6.1
in Subsection 7.1.6: Limits and Colimits of Functors
(go to statistics) - Variant 8.3.3.15
in Subsection 8.3.3: Hom-Functors for $\infty $-Categories
(go to statistics) - Corollary 8.5.4.10
in Subsection 8.5.4: Idempotent Completeness
(go to statistics) - Proposition 8.5.5.5
in Subsection 8.5.5: Idempotent Completion
(go to statistics) - Corollary 9.1.7.19
in Subsection 9.1.7: Orthogonality
(go to statistics)