CABool is monadic over almost all categories
From MaRDI portal
Publication:1184039
DOI10.1016/0022-4049(92)90086-UzbMath0761.18007MaRDI QIDQ1184039
Publication date: 28 June 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
monadreflective subcategoryskeletonequivalence of categoriescomparison functorcomplete atomic Boolean algebras
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (1)
Cites Work
This page was built for publication: CABool is monadic over almost all categories