Kerodon

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

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