• The components
    \[ \eta _{G}\colon G\Longrightarrow \text{Ran}_{F}\webleft (G\circ F\webright ) \]

    of the unit

    \[ \eta \colon \text{id}_{\mathsf{Fun}\webleft (\mathcal{D},\mathcal{X}\webright )}\Longrightarrow \text{Ran}_{F}\circ F^{*} \]

    of the adjunction $F^{*}\dashv \text{Ran}_{F}$ are all isomorphisms.


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


You can also use the contact form below: