• Interaction With Precomposition II. If the precomposition functor
    \[ F^{*} \colon \mathsf{Fun}\webleft (\mathcal{D},\mathcal{X}\webright ) \to \mathsf{Fun}\webleft (\mathcal{C},\mathcal{X}\webright ) \]

    is fully faithful, then $F$ can fail to be fully faithful (and in fact it can also fail to be either full or faithful).


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


You can also use the contact form below: