From Cubes to Twisted Cubes via Graph Morphisms in Type Theory
(2019)
Presentation / Conference
Pinyo, G., & Kraus, N. (2019, June). From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. Paper presented at TYPES 2019, Oslo, Norway
Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher groupoids... Read More about From Cubes to Twisted Cubes via Graph Morphisms in Type Theory.