Construction 9.5.0.54. The contents of this tag are now at Definition 5.7.1.4 (for functors) and Definition 9.10.5.1 (for lax functors).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Construction 9.5.0.54. The contents of this tag are now at Definition 5.7.1.4 (for functors) and Definition 9.10.5.1 (for lax functors).