Timeline for Reference request: 2-Monads and 2-Adjunctions
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 26, 2011 at 5:25 | vote | accept | Gerrit Begher | ||
| Jan 24, 2011 at 9:37 | comment | added | Steve Lack | That case (strict monads and pseudoalgebras) does come up sometimes in formal contexts. But if you are dealing with some concretes situtation involving a category or family of categories with some operations satisfying some equations either strictly or up to isomorphisms satisfying some equations, then you can describe such a structure as the strict algebras for some other 2-monad, and almost certainly this will be easier. | |
| Jan 24, 2011 at 7:30 | comment | added | Gerrit Begher | Thank you ~ this was already very helpful. The specific case i am dealing with is that of pseudoalgebras for a strict 2-monad. | |
| Jan 23, 2011 at 23:12 | history | answered | Steve Lack | CC BY-SA 2.5 |