First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where theAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 148,60 KBShare Document on Facebook |