nLab algebraic quasi-category

Context

Higher category theory

higher category theory

1-categorical presentations

Quasi-category theory

(∞,1)-category theory

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.

Revised on October 29, 2015 14:05:22 by Mike Shulman (76.88.99.98)