• 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.


View Item 6 as PDF

Statistics Cite
1 tag refers to this tag

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

You can also use the contact form below: