Levels in the toposes of simplicial sets and cubical sets (Q626735): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1003.5944 / rank | |||
Normal rank |
Revision as of 16:20, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Levels in the toposes of simplicial sets and cubical sets |
scientific article |
Statements
Levels in the toposes of simplicial sets and cubical sets (English)
0 references
18 February 2011
0 references
In the category of simplicial sets, one has both the notion of an \(n\)-skeleton and an \(n\)-coskeleton. The \(n\)-skeleton, \(sk_nK \), of a simplicial set, \(K\), is everything that is generated by simplices of dimension \(\leq n\) within \(K\). A simplicial set, \(K\), is \(n\)-skeletal if \(sk_nK \cong K\). It is \(n\)-coskeletal if any \(k\)-sphere in \(K\) with \(k>n\), has a unique \(k\)-simplex filling it. The category of simplicial sets is a presheaf topos and these ideas generalise well to more general toposes and for applications in homotopy theory, the cases of cubical sets and reflexive globular sets are of particular interest. Both are presheaf toposes. With reflexive globular sets if \(K\) is \(n\)-skeletal, it is easily seen to be \((n+1)\)-coskeletal. This paper looks at the relationship between `skeletal' and `coskeletal' for both simplicial and cubical sets. Explicitly, it is proved that {\parindent6.6mm \begin{itemize}\item[(i)] any \(n\)-skeletal cubical set is \(2n\)-coskeletal; \item[(ii)] any \(n\)-skeletal simplicial set is \((2n-1)\)-coskeletal, \end{itemize}} and that these are `best possible'.
0 references
simplicial sets
0 references
\(n\)-skeleton
0 references
presheaf topos
0 references
cubical sets
0 references
\(2n\)-coskeletal
0 references
\(n\)-skeletal
0 references