Jump to content

Cubical set

From Wikipedia, the free encyclopedia

In topology, a branch of mathematics, a cubical set is a set-valued contravariant functor on the category of (various) n-cubes.

Cubical sets have been often considered as an alternative to simplicial sets in combinatorial topology, including in the early work of Daniel Kan and Jean-Pierre Serre. They have also been developed in computer science, in particular in concurrency theory and in homotopy type theory.[1]

See also

[edit]

References

[edit]
  1. ^ Curien, Pierre-Louis; Livernet, Muriel; Saadia, Gabriel (2022-11-24). "Rigidification of cubical quasi-categories". arXiv:2211.13679 [math.AT].