Idempotent completion of cubes in posets

arXiv1805.04126MaRDI QIDQ6301439FDOQ6301439

Authors: Christian Sattler 

Publication date: 10 May 2018

Abstract: This note concerns the category $Box$ of cartesian cubes with connections, equivalently the full subcategory of posets on objects $[1{]}^n$ with $ngeq0$. We show that the idempotent completion of $Box$ consists of finite complete posets. It follows that cubical sets, ie presheaves over $Box$, are equivalent to presheaves over finite complete posets. This yields an alternative exposition of a result by Kapulkin and Voevodsky that simplicial sets form a subtopos of cubical sets.

This page was built for publication: Idempotent completion of cubes in posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301439)