Cubical set
Jump to navigation
Jump to search
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 | edit source]References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- nLab, Cubical set.
- Rick Jardine, Cubical sets, Lecture 12 in "Lectures on simplicial presheaves" https://web.archive.org/web/20110104053206/http://www.math.uwo.ca/~jardine/papers/sPre/index.shtml