A monadicity theorem
DOI10.1017/S0004972700010480zbMATH Open0359.18008OpenAlexW1997000687MaRDI QIDQ4132704FDOQ4132704
Authors: Brian J. Day, F. Borceux
Publication date: 1977
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0004972700010480
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
Cited In (3)
This page was built for publication: A monadicity theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4132704)