Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The general notion of opposite (∞,1)-category leads to a notion of opposite of a quasi-category , when (∞,1)-categories are incarnated as quasi-categories.
So the notion of opposite of a quasi-category generalizes the notion of opposite category from category theory.
Under the relation between quasi-categories and simplicial categories the opposite quasi-category is that corresponding to the obvious opposite SSet-enriched category. Concretely in terms of the simplicial set $S$ underlying the quasi-category, this amounts to reversing the order of the face and degeneracy maps:
Secton 1.2.1 in
Last revised on November 6, 2021 at 08:30:00. See the history of this page for a list of all contributions to it.