nLab algebraic quasi-category

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Quasi-category theory

An algebraic quasi-category is a quasi-category equipped with a choice of (inner) horn fillers.

Algebraic quasi-categories give a algebraic definition of (∞,1)-categories.

For more see the section Algebraic fibrant models for higher categories at model structure on algebraic fibrant objects.

Last revised on October 29, 2015 at 18:05:22. See the history of this page for a list of all contributions to it.