En topología , una rama de las matemáticas , un conjunto cúbico es un functor contravariante con valores en conjuntos sobre la categoría de (varios) n -cubos.
Los conjuntos cúbicos se han considerado a menudo como una alternativa a los conjuntos simpliciales en topología combinatoria , incluso en los primeros trabajos de Daniel Kan y Jean-Pierre Serre . También se han desarrollado en informática, en particular en teoría de la concurrencia y en teoría de tipos homotópicos . [ 1 ]
Véase también
Referencias
- nLab, conjunto cúbico .
- Rick Jardine , Conjuntos cúbicos , Lección 12 en "Lecciones sobre prehaces simpliciales" https://web.archive.org/web/20110104053206/http://www.math.uwo.ca/~jardine/papers/sPre/index.shtml
Categorías :
- Topología
- Topología básica