$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

## Statistics for tag 01UG

### Complexity measure

metric | value |
---|---|

number of results in proof | 1 |

number of results used in preliminary results | 35 |

number of chapters used | 3 |

number of sections used | 9 |

number of results (indirectly) using this tag | 197 |

### Tags (directly) using this result

- Corollary 5.1.4.10
in Subsection 5.1.4: Cartesian Fibrations

(go to statistics) - Proposition 5.3.6.1
in Subsection 5.3.6: Application: Direct Image Fibrations

(go to statistics) - Proposition 5.3.6.6
in Subsection 5.3.6: Application: Direct Image Fibrations

(go to statistics) - Lemma 5.3.6.7
in Subsection 5.3.6: Application: Direct Image Fibrations

(go to statistics) - Lemma 5.3.6.8
in Subsection 5.3.6: Application: Direct Image Fibrations

(go to statistics) - Theorem 5.3.7.7
in Subsection 5.3.7: Application: Path Fibrations

(go to statistics) - Corollary 5.4.8.11
in Subsection 5.4.8: Local Smallness

(go to statistics) - Corollary 5.7.7.5
in Subsection 5.7.7: Application: Extending Cocartesian Fibrations

(go to statistics) - Corollary 7.2.3.16
in Subsection 7.2.3: Quillen's Theorem A for $\infty $-Categories

(go to statistics) - Corollary 7.4.1.12
in Subsection 7.4.1: Limits of $\infty $-Categories

(go to statistics)