A proposition is the (homotopy) type of its proofs
From MaRDI portal
Publication:5236407
zbMath1423.03041arXiv1701.02024MaRDI QIDQ5236407
Publication date: 15 October 2019
Full work available at URL: https://arxiv.org/abs/1701.02024
Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Proof theory in general (including proof-theoretic semantics) (03F03) Topological categories, foundations of homotopy theory (55U40)