Cubical set


In topology, a branch of mathematics, a cubical set is a set-valued contravariant functor on the category of n-cubes. See the references for the more precise definitions.