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
β¦ 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
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.
Lattices on pseudo-Bassian commutative r
β
Yu. A. Drozd; L. F. Chernova
π
Article
π
1987
π
SP MAIK Nauka/Interperiodica
π
English
β 237 KB
Pseudo-topological commutative superalge
β
A. Yu. Khrennikov
π
Article
π
1990
π
SP MAIK Nauka/Interperiodica
π
English
β 451 KB
Pseudo-riemannian manifolds with commuti
β
M. Brozos-VΓ‘zquez; P. Gilkey
π
Article
π
2006
π
Springer Milan
π
Italian
β 151 KB
Coalgebraic Monads
β
Neil Ghani; Christoph LΓΌth; Federico De Marchi
π
Article
π
2002
π
Elsevier Science
π
English
β 298 KB