# Kerodon

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

Remark 2.4.3.3. A topologically enriched variant of $\operatorname{Path}[Q]_{\bullet }$ appears in the work of Leitch (); see appendix B of for a related construction.