18Cxx

| Prev: 18B | Up: 18 | Next: 18D |

Categories and theories

18C05 Equational categories [See also 03C05, 08C05]
18C10 Theories (e.g. algebraic theories), structure, and semantics [See also 03G30]
18C15 Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples [See also 18Gxx]
18C20 Algebras and Kleisli categories associated with monads
18C30 Sketches and generalizations
18C35 Accessible and locally presentable categories
18C50 Categorical semantics of formal languages [See also 68Q55, 68Q65]
18C99 None of the above, but in this section

Version of December 15, 1998