![](https://www.pdfsearch.io/img/e36ce30f12a9ca55c06aa80e6b364eaa.jpg) Date: 2018-02-12 22:13:01
| | A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of cAdd to Reading ListSource URL: www.andrew.cmu.eduDownload Document from Source Website File Size: 323,55 KBShare Document on Facebook
|