![](https://www.pdfsearch.io/img/14ececb23f0f9f44092173b50f13fc53.jpg) 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 Website File Size: 282,03 KBShare Document on Facebook
|