Example 11.5.0.112. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 11.5.0.112. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories.