Links between homotopy theory and type theory
Abstract
This short note reviews the relations between homotopy theory and type theory, especially the similarity between paths in homotopy and proofs of equality in type theory.
Origin : Files produced by the author(s)
Loading...