A proposition is the (homotopy) type of its proofs
Logic
2023-03-31 v1 Category Theory
Abstract
An introduction and survey of homotopy type theory in honor of W.W. Tait.
Keywords
Cite
@article{arxiv.1701.02024,
title = {A proposition is the (homotopy) type of its proofs},
author = {Steve Awodey},
journal= {arXiv preprint arXiv:1701.02024},
year = {2023}
}