Cubical set

From Wikipedia, the free encyclopedia
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]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).