(∞,1)-category theory

category theory

higher category theory

(n,r)-category

(∞,1)-category

hom-objects

equivalences in/of $(\infty,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