nLab
Alexander Berenbeim
Blog on cohesive homotopy type theory:
- Alexander Berenbeim, Explorations of the interesection of Cohesive Homotopy Type Theory, Allegory Theory, and Model Categories (web)
Created on October 13, 2014 at 15:58:27.
See the history of this page for a list of all contributions to it.