Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have added brief pointers to Katryn Hess’s discussion of Amitsur complexes, Sweedler corings, etc. in the context of higher monadic descent to monadic descent, higher monadic descent, Amitsur complex, Sweedler coring
have fixed the typesetting of the adjunction
and added hyperlinks to this item:
1 to 3 of 3