1 citations · 1 across the 2 of their papers we have counts for
2 papers
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★ 1 cited
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…