Levels in the toposes of simplicial sets and cubical sets (Q626735)

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'.