Timeline for Is a monad functor also known as a monad map?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 29, 2023 at 12:07 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 30, 2022 at 12:06 | answer | added | fosco | timeline score: 2 | |
| Dec 29, 2022 at 22:15 | comment | added | Zhen Lin | Maybe worth noting that the direction of the arrow is a matter of convention when working with monads on a fixed category... | |
| Dec 29, 2022 at 16:54 | comment | added | Simon Henry | There are two different notions of monad morphisms. One applies to monads on a same fixed category and are just natural transformation satisfying axioms of compatiblity to the monad structure. The other (referred to here as monad functor) is for monads on different categories, and involve both a functor between the underlying categories and a natural transformation. The first kind of morphism can be seen as a special case when the "functor" pat is the identity. So, what I think you call "monad map" is the special case of a "monad functor" when $U$ is the identity functor. | |
| Dec 29, 2022 at 16:49 | history | asked | mathlete42 | CC BY-SA 4.0 |