On a bicomma object condition for KZ-doctrines. (English) Zbl 0935.18006
This paper contains strong results concerning Kock-Zöberlein doctrines that satisfy a certain bicomma object condition (called admissible KZ-doctrines). In this context a notion of bifibration (which includes discrete fibrations and opfibrations) is introduced and studied. The main questions addressed are: the characterization of the Eilenberg-Moore algebras in terms of cocompleteness; the description of the Kleisli 2-category by means of its bifibrations; obtaining, in terms of bifibration, a “comprehensive” factorization of 1-cells (and 2-cells); the investigation of the case when the KZ-doctrine is stable under change of base (a characterization of the algebras as linear objects and a classification of discrete fibrations are obtained). Known facts about the symmetric monad are revisited and new results for complete spreads in topos theory are obtained. The main example is the symmetric monad in toposes, but also other KZ-doctrines are considered: the lower power locale, the lower bagdomain, the lifting monad in a posetal 2-category.
Reviewer: I.Tofan (Iaşi)
MSC:
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |
18B25 | Topoi |
54B30 | Categorical methods in general topology |
18C20 | Eilenberg-Moore and Kleisli constructions for monads |
18D05 | Double categories, \(2\)-categories, bicategories and generalizations (MSC2010) |
18A32 | Factorization systems, substructures, quotient structures, congruences, amalgams |