2 papers
math.LO2024
A Foundation for Synthetic Stone Duality
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…
math.AT2024
Examples and cofibrant generation of effective Kan fibrations
Benno van den Berg, Freek Geerligs
We will show make two contributions to the theory of effective Kan fibrations, which are a more explicit version of the notion of a Kan fibration, a notion which plays a fundamenta…