nLab cubical geometric realisation

Related concepts



topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory



The category of cubical sets, just as with any reasonable category of shapes for higher structures, admits a geometric realisation functor to the category of topological spaces. The universal property of the category of cubes allows for a particularly economical and canonical construction of this functor compared to some other such categories of shapes.


We make use of the notation at category of cubes and cubical set, and denote the category of topological spaces by Top\mathsf{Top}. Let II denote the topological unit interval, let \bullet denote the topological point, let 0:I0 : \bullet \rightarrow I and 1:I1: \bullet \rightarrow I be the continuous map which pick out the endpoints 00 and 11 of II respectively, and let t:It : I \rightarrow \bullet be the canonical map.


We denote by || 1\left| - \right|_{\leq 1} the functor 1Top\square_{\leq 1} \rightarrow \mathsf{Top} given by I 0I^{0} \mapsto \bullet, I 1II^{1} \mapsto I, i 00i_{0} \mapsto 0, i 11i_{1} \mapsto 1, and ptp \mapsto t.


We denote by || :Top\left| - \right|_{\square}: \square \rightarrow \mathsf{Top} the canonical functor determined by || 1\left| - \right|_{\leq 1}, the cartesian monoidal structure on Top\mathsf{Top}, and the universal property of \square.


The geometric realisation functor Set opTop\mathsf{Set}^{\square^{op}} \rightarrow \mathsf{Top} is the canonical functor determined by || \left| - \right|_{\square}, the fact that Top\mathsf{Top} is co-complete, and the universal property of Set op\mathsf{Set}^{\square^{op}}.

Last revised on August 7, 2022 at 07:17:11. See the history of this page for a list of all contributions to it.