First Page | Document Content | |
---|---|---|
Date: 2018-03-28 14:04:14 | UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One solAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source WebsiteFile Size: 282,03 KBShare Document on Facebook |