En topología , una rama de las matemáticas , un conjunto cúbico es un funtor contravariante de valor conjunto en 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 concurrencia y en teoría de tipos de homotopía . [1]