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.

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