On a bicomma object condition for KZ-doctrines

DOI10.1016/S0022-4049(98)00108-XzbMath0935.18006OpenAlexW2069651005MaRDI QIDQ1818628

Jonathon Funk, Marta C. Bunge

Publication date: 15 February 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(98)00108-x

zbMATH Keywords

toposKZ-doctrinesEilenberg-Moore algebrascomplete spreadsbifibrationsKleisli 2-categorysymmetric monad

Mathematics Subject Classification ID

Topoi (18B25) Categorical methods in general topology (54B30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (9)

Accessibility and presentability in 2-categories ⋮ Virtual concepts in the theory of accessible categories ⋮ van Kampen theorems for toposes ⋮ Yoneda structures and KZ doctrines ⋮ Distribution algebras and duality ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Kan injectivity in order-enriched categories ⋮ Distributive laws via admissibility ⋮ The Michael completion of a topos spread

This page was built for publication: On a bicomma object condition for KZ-doctrines