nLab algebraic quasi-category

Context

Higher category theory

higher category theory

1-categorical presentations

Quasi-category theory

(∞,1)-category theory

Background

Basic concepts

Universal constructions

Local presentation

Theorems

Extra stuff, structure, properties

Models

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.