Algebraic theories. (English) Zbl 0249.18013
MSC:
18C10 | Theories (e.g., algebraic theories), structure, and semantics |
18C05 | Equational categories |
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |