nLab quasi-category theory contents

(∞,1)-category theory

Background

• category theory

• higher category theory

• (n,r)-category

Basic concepts

• (∞,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

  • join of quasi-categories

• (∞,1)-functor

  • exact (∞,1)-functor

  • (∞,1)-category of (∞,1)-functors

  • (∞,1)-category of (∞,1)-presheaves

• fibrations

  • inner fibration

  • left/right fibration

  • Cartesian fibration

    • Cartesian morphism

Universal constructions

• limit

  • terminal object

• adjoint functors

Local presentation

• locally presentable

  • essentially small

  • locally small

  • accessible

  • idempotent-complete

Theorems

• (∞,1)-Yoneda lemma

• (∞,1)-Grothendieck construction

• adjoint (∞,1)-functor theorem

• (∞,1)-monadicity theorem

Extra stuff, structure, properties

• stable (∞,1)-category

• (∞,1)-topos

Models

• 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

  • model structure for Kan complexes