• 1. The components
    ϵG:LanF(GF)G

    of the counit

    ϵ:LanFFidFun(D,X)

    of the adjunction LanFF are all isomorphisms.


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


You can also use the contact form below: