A monadicity theorem
From MaRDI portal
Publication:4132704
DOI10.1017/S0004972700010480zbMath0359.18008OpenAlexW1997000687MaRDI QIDQ4132704
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)
Related Items (3)
Cites Work
This page was built for publication: A monadicity theorem