• The induced functor
    \[ \left.F\right\vert _{\mathsf{Sk}\webleft (\mathcal{C}\webright )}\colon \mathsf{Sk}\webleft (\mathcal{C}\webright )\to \mathsf{Sk}\webleft (\mathcal{D}\webright ) \]

    is an isomorphism of categories.


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


You can also use the contact form below: