equivalences in/of -categories
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 14:05:22. See the history of this page for a list of all contributions to it.