Axioms for modelling cubical type theory in a topos
Published version
Peer-reviewed
Repository URI
Repository DOI
Type
Change log
Authors
Abstract
The homotopical approach to intensional type theory views proofs of equality
as paths. We explore what is required of an object
Description
Keywords
Journal Title
Conference Name
Journal ISSN
1860-5974