Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

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)