Timeline for Adjoints to the forgetful functor from the $2$-category of monads
Current License: CC BY-SA 4.0
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 |