Opposite simplicial set

Short description: Construction for simplicial sets

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 $\mathrm{\Delta }$, there is an automorphism $\rho :\mathrm{\Delta }\to \mathrm{\Delta }$, which for a map $f:[m]\to [n]$ is given by $\rho (f)(i):=n-f(m-i)$. It fulfills ${\rho }^2=\mathrm{Id}$ and is the only automorphism on the simplex category $\mathrm{\Delta }$. By precomposition, it defines a functor ${\rho }^{*}:\mathbf{𝐬}\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}\to \mathbf{𝐬}\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ on the category of simplicial sets $\mathbf{𝐬}\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}=\mathbf{𝐅}\mathbf{𝐮}\mathbf{𝐧}(\mathrm{\Delta },\mathbf{𝐬}\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭})$. For a simplicial set $X$, the simplicial set $X^{\mathrm{o}\mathrm{p}}={\rho }^{*}(X)$is its opposite simplicial set.

Properties

• For a simplicial set $X$, one has:

  $(X^{\mathrm{o}\mathrm{p}}{)}^{\mathrm{o}\mathrm{p}}\cong X.$

• For a category ${𝒞}$, one has:

  $N({{𝒞}}^{\mathrm{o}\mathrm{p}})=(N{𝒞}{)}^{\mathrm{o}\mathrm{p}}.$

• A simplicial set $X$ is an ∞-category if and only if its opposite simplicial set $X^{\mathrm{o}\mathrm{p}}$ is.
• A simplicial set $X$ is a Kan complex if and only if opposite simplicial set $X^{\mathrm{o}\mathrm{p}}$ is.

Literature

• Lurie, Jacob (2009). Higher Topos Theory. Annals of Mathematics Studies. 170. Princeton University Press. ISBN 978-0-691-14049-0. 
• Cisinski, Denis-Charles (2019-06-30) (in en). Higher Categories and Homotopical Algebra. Cambridge University Press. ISBN 978-1108473200. https://cisinski.app.uni-regensburg.de/CatLR.pdf.