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} |
|
18Dxx |
|
Categorical structures |
|
|
18D15 |
Closed categories (closed monoidal and Cartesian closed categories, etc.) |
|
|
18D20 |
Enriched categories (over closed or monoidal categories) |
|
|
18D25 |
Actions of a monoidal category, tensorial strength {For functional programming, see also 68N18} |
|
|
18D30 |
Fibered categories |
|
|
18D40 |
Internal categories and groupoids {For double categories, see 18N10; for topological groupoids, see 22A22; for Lie groupoids, see 58H05} |
|
|
18D60 |
Profunctors (= correspondences, distributors, modules) |
|
|
18D65 |
Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) |
|
|
18D70 |
Formal category theory |
|
|
18D99 |
None of the above, but in this section |