| 18-XX |
|
|
Category theory; homological algebra {For commutative rings, see 13Dxx; for associative rings, see 16Exx; for groups, see 20Jxx; for topological groups and related structures, see 57Txx; for algebraic topology, see also 55Nxx, 55Uxx} |
|
18Cxx |
|
Categories and theories |
|
|
18C05 |
Equational categories [See also 03C05, 08C05] |
|
|
18C10 |
Theories (e.g., algebraic theories), structure, and semantics [See also 03G30] |
|
|
18C15 |
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [See also 18Gxx] {For functional programming, see also 68N18} |
|
|
18C20 |
Eilenberg-Moore and Kleisli constructions for 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 |
