(∞,1)-category theory
category theory
higher category theory
(n,r)-category
(∞,1)-category
hom-objects
equivalences in/of (∞,1)-categories
sub-(∞,1)-category
reflective sub-(∞,1)-category
reflective localization
opposite (∞,1)-category
over (∞,1)-category
(∞,1)-functor
exact (∞,1)-functor
(∞,1)-category of (∞,1)-functors
(∞,1)-category of (∞,1)-presheaves
fibrations
inner fibration
left/right fibration
Cartesian fibration
limit
adjoint functors
locally presentable
essentially small
locally small
accessible
idempotent-complete
(∞,1)-Yoneda lemma
(∞,1)-Grothendieck construction
adjoint (∞,1)-functor theorem
(∞,1)-monadicity theorem
stable (∞,1)-category
(∞,1)-topos
category with weak equivalences
model category
derivator
quasi-category
model structure for quasi-categories
model structure for Cartesian fibrations
relation to simplicial categories
homotopy coherent nerve
simplicial model category
presentable quasi-category
Kan complex
Edit this sidebar
stable homotopy theory
loop space object
suspension object
stabilization
stable derivator
triangulated category
stable (∞,1)-category of spectra
spectrum
stable homotopy category
smash product of spectra
symmetric smash product of spectra
Spanier-Whitehead duality
A-∞ ring
E-∞ ring
Stab(∞,1)Cat denotes the (∞,1)-category of stable (∞,1)-categories.