Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Twisted Cubes and their Applications in Type Theory
Gun Pinyo
This thesis captures the ongoing development of twisted cubes, which is a modification of cubes (in a topological sense) where its homotopy type theory does not require paths or hi…
cs.LO2019
From Cubes to Twisted Cubes via Graph Morphisms in Type Theory
Gun Pinyo, Nicolai Kraus
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…