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} 36676
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} 1228
18D25 Actions of a monoidal category, tensorial strength {For functional programming, see also 68N18} 88
68-XX Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} 416508