Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

First Page		Document Content
Date: 2018-03-28 14:04:14		Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5 Add to Reading List Source URL: hott-uf.github.io Download Document from Source Website File Size: 234,58 KB Share Document on Facebook