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