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

## Statistics for tag 01U5

### 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 | 324 |

### Tags (directly) using this result

- Corollary 5.1.3.9
in Subsection 5.1.3: Locally Cartesian Edges

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

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

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

(go to statistics) - Proposition 5.1.4.19
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) - Theorem 5.2.1.1
in Subsection 5.2.1: Exponentiation for Cartesian Fibrations

(go to statistics) - Lemma 5.2.2.13
in Subsection 5.2.2: Covariant Transport Functors

(go to statistics) - Lemma 5.2.3.17
in Subsection 5.2.3: Example: The Relative Join

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

(go to statistics) - Proposition 5.3.7.1
in Subsection 5.3.7: Application: Path Fibrations

(go to statistics) - Theorem 5.4.4.1
in Subsection 5.4.4: The Local Thinness Criterion

(go to statistics) - Corollary 5.4.4.2
in Subsection 5.4.4: The Local Thinness Criterion

(go to statistics) - Proposition 5.4.6.11
in Subsection 5.4.6: The Four-out-of-Five Property

(go to statistics) - Proposition 5.4.6.14
in Subsection 5.4.6: The Four-out-of-Five Property

(go to statistics)