Opposite Simplicial Set

In higher category theory in mathematics, the opposite simplicial set (or dual simplicial set) is an operation extending the opposite category (or dual category). It generalizes the concept of inverting arrows from 1-categories to ∞-categories. Similar to the opposite category defining an involution on the category of small categories, the opposite simplicial sets defines an involution on the category of simplicial sets. Both correspond to each other under the nerve construction.

Definition

On the simplex category $\Delta$, there is an automorphism $\rho\colon \Delta\rightarrow\Delta$, which for a map f\colon
rightarrow /math> is given by $\rho(f)(i):=n-f(m-i)$. It fulfills $\rho^2=\operatorname$ and is the only automorphism on the simplex category $\Delta$. By precomposition, it defines a functor $\rho^*\colon \mathbf\rightarrow\mathbf$ on the category of simplicial sets $\mathbf =\mathbf(\Delta,\mathbf)$. For a simplicial set $X$, the simplicial set $X^\mathrm =\rho^*(X)$is its ''opposite simplicial set''.Lurie 2009, 1.2.1 The Opposite of an ∞-Category

Properties

* For a simplicial set $X$, one has:
*: $(X^\mathrm)^\mathrm \cong X.$
* For a category $\mathcal$, one has:Cisinski 2019, Proposition 1.5.8.
*: $N(\mathcal^\mathrm) =(N\mathcal)^\mathrm.$

* A simplicial set $X$ is an ∞-category if and only if its opposite simplicial set $X^\mathrm$ is.
* A simplicial set $X$ is a Kan complex if and only if opposite simplicial set $X^\mathrm$ is.

Literature

*
* {{cite book , last=Cisinski , first=Denis-Charles , author-link=Denis-Charles Cisinski , url=https://cisinski.app.uni-regensburg.de/CatLR.pdf , title=Higher Categories and Homotopical Algebra , date=2019-06-30 , publisher=Cambridge University Press , isbn=978-1108473200 , location= , language=en , authorlink=

References

Higher category theory
Simplicial sets