Homotopy Type Theory
axioms

Axioms in HoTT

Classicality axioms

category: type theory