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} |
|
18Axx |
|
General theory of categories and functors |
|
|
18A05 |
Definitions and generalizations in theory of categories |
|
|
18A10 |
Graphs, diagram schemes, precategories |
|
|
18A15 |
Foundations, relations to logic and deductive systems [See also 03-XX] |
|
|
18A20 |
Epimorphisms, monomorphisms, special classes of morphisms, null morphisms |
|
|
18A22 |
Special properties of functors (faithful, full, etc.) |
|
|
18A23 |
Natural morphisms, dinatural morphisms |
|
|
18A25 |
Functor categories, comma categories |
|
|
18A30 |
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) |
|
|
18A32 |
Factorization systems, substructures, quotient structures, congruences, amalgams |
|
|
18A35 |
Categories admitting limits (complete categories), functors preserving limits, completions |
|
|
18A40 |
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) |
|
|
18A99 |
None of the above, but in this section |