Mathematical Sciences Classification System
18Cxx - Categories and theories
-
18C05
-
18C10Theories (e.g. algebraic theories), structure, and semantics [See also 03G30]
-
18C15Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples [See also 18Gxx]
-
18C20Algebras and Kleisli categories associated with monads
-
18C30Sketches and generalizations
-
18C35Accessible and locally presentable categories
-
18C50
-
18C99None of the above, but in this section