Equivariant categories and symmetric monoidal categories
Equivariant operads
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Denis Nardin, Parametrized higher category theory and higher algebra: Exposé IV - Stability with respect to an orbital ∞-category, (arXiv:1608.07704)
Bastiaan Cnossen, Tobias Lenz, Sil Linskens, Parametrized stability and the universal property of global spectra, (arXiv: arXiv:2301.08240)
Created on July 12, 2024 at 00:30:16. See the history of this page for a list of all contributions to it.