Beck's theorem for pseudo-monads
β Scribed by I.J. Le Creurer; F. Marmolejo; E.M. Vitale
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 332 KB
- Volume
- 173
- Category
- Article
- ISSN
- 0022-4049
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
π SIMILAR VOLUMES
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
Let X denote a finite set, k and n denote natural numbers and S~ ..... Sn denote subsets of X. Assume that no point of X lies in more than k of these subsets. In 1981 Beck and Fiala proved that there is a 2-coloring of X such that each of the subsets has discrepancy less than 2k. This result has an