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 |
