| 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} |
|
18Nxx |
|
Higher categories and homotopical algebra |
|
|
18N10 |
2-categories, bicategories, double categories |
|
|
18N15 |
2-dimensional monad theory [See also 18C15] |
|
|
18N20 |
Tricategories, weak $n$-categories, coherence, semi-strictification |
|
|
18N25 |
Categorification |
|
|
18N30 |
Strict omega-categories, computads, polygraphs |
|
|
18N40 |
Homotopical algebra, Quillen model categories, derivators [See also 55U35] |
|
|
18N45 |
Categories of fibrations, relations to $K$-theory, relations to type theory |
|
|
18N50 |
Simplicial sets, simplicial objects [See also 55U10] |
|
|
18N55 |
Localizations (e.g., simplicial localization, Bousfield localization) [See also 18E35, 55P60] |
|
|
18N60 |
$(\infty,1)$-categories (quasi-categories, Segal spaces, etc.); $\infty$-topoi, stable $\infty$-categories [See also 55U35, 55U40] |
|
|
18N65 |
$(\infty, n)$-categories and $(\infty,\infty)$-categories |
|
|
18N70 |
$\infty$-operads and higher algebra [See also 18M75] |
|
|
18N99 |
None of the above, but in this section |
