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} 29151

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} 997