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

## Statistics for tag 008K

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

### Tags (directly) using this result

- Theorem 2.3.4.1
in Subsection 2.3.4: Recovering a $2$-Category from its Duskin Nerve

(go to statistics) - Theorem 2.3.5.7
in Subsection 2.3.5: Twisted Arrows and the Nerve of $\operatorname{Corr}(\operatorname{\mathcal{C}})^{\operatorname{c}}$

(go to statistics) - Theorem 2.3.5.13
in Subsection 2.3.5: Twisted Arrows and the Nerve of $\operatorname{Corr}(\operatorname{\mathcal{C}})^{\operatorname{c}}$

(go to statistics) - Theorem 2.3.6.6
in Subsection 2.3.6: The Duskin Nerve of a Strict $2$-Category

(go to statistics) - Proposition 5.5.2.2
in Subsection 5.5.2: Elements of Category-Valued Functors

(go to statistics) - Proposition 8.9.5.2
in Subsection 8.9.5: Classical Grothendieck Construction for Lax Functors

(go to statistics)