In this blog post, we will be following the very excellent paper [1]. Anyone looking for a good introduction that focuses less on the formal proofs should definitely give it a read! Let us consider the most important object in the study of homotopy theory, the unit interval, The way we analytically understand this object … Continue reading Cubical Type Theory: The Unit Interval and Paths