1 paper · 1 filter
Felix Cherubini, Thierry Coquand, Freek Geerligs +1
The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski…