𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Pseudo-commutative Monads

✍ Scribed by Martin Hyland; John Power


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
148 KB
Volume
45
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Pseudo-commutative monads and pseudo-clo
✍ Martin Hyland; John Power πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 304 KB

Pseudo-commutative 2-monads and pseudo-closed 2-categories are deΓΏned. The former give rise to the latter: if T is pseudo-commutative, then the 2-category T -Alg, of strict T -algebras and pseudo-maps of algebras, is pseudo-closed. In particular, the 2-category of symmetric monoidal categories, is p

Beck's theorem for pseudo-monads
✍ I.J. Le Creurer; F. Marmolejo; E.M. Vitale πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 332 KB

In this work we establish a 2-categorical analogue of Beck's theorem characterizing monadic functors. We show that a 2-functor (a pseudo-functor) U is monadic i it is a right pseudoadjoint, it re ects adjoint equivalences and it creates U -absolute pseudo-coequalizers of codescent objects.

Coalgebraic Monads
✍ Neil Ghani; Christoph LΓΌth; Federico De Marchi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 298 KB