Local presentability of certain comma categories
From MaRDI portal
Publication:2303778
DOI10.1007/s10485-019-09574-wzbMath1432.18005MaRDI QIDQ2303778
Patricia Johann, Andrew Polonsky
Publication date: 5 March 2020
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-019-09574-w
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads