Skip to main content
5 events
when toggle format what by license comment
Jan 16, 2022 at 15:54 comment added Alec Rhea @John Thank you, that is interesting.
Jan 16, 2022 at 8:24 comment added john In the formal theory of monads Ross Street starts by observing that forgetful 2-functor mentioned has right adjoint the trivial monad functor; now, the trivial monad functor has a right adjoint precisely when C has Eilenberg-Moore objects.
Jan 13, 2022 at 9:54 history edited Alec Rhea CC BY-SA 4.0
added 487 characters in body
Jan 13, 2022 at 9:49 history edited Martin Sleziak
edited tags
Jan 13, 2022 at 9:47 history asked Alec Rhea CC BY-SA 4.0