Categories in which every mono-source is initial. (English) Zbl 0309.18004
MSC:
18C10 | Theories (e.g., algebraic theories), structure, and semantics |
08Axx | Algebraic structures |
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |
18A40 | Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) |
54D30 | Compactness |