• The functor $F$ is injective on objects and morphisms, i.e. $F$ is injective on objects and the map
    \[ F\colon \textup{Mor}\webleft (\mathcal{C}\webright )\to \textup{Mor}\webleft (\mathcal{D}\webright ) \]

    is injective.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: