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

## Statistics for tag 01TD

### Complexity measure

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

number of results in proof | 0 |

number of results used in preliminary results | 0 |

number of chapters used | 0 |

number of sections used | 0 |

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

### Tags (directly) using this result

- Proposition 5.1.3.7
in Subsection 5.1.3: Locally Cartesian Edges

(go to statistics) - Lemma 5.1.4.18
in Subsection 5.1.4: Cartesian Fibrations

(go to statistics) - Proposition 5.1.4.20
in Subsection 5.1.4: Cartesian Fibrations

(go to statistics) - Proposition 5.4.5.14
in Subsection 5.4.5: The Pith of an $(\infty ,2)$-Category

(go to statistics) - Lemma 11.9.5.3
in Subsection 11.9.5: Proof of the Universality Theorem

(go to statistics)