research
∙
09/29/2022
Double negation stable h-propositions in cubical sets
We give a construction of classifiers for double negation stable h-propo...
research
∙
06/27/2022
Definable and Non-definable Notions of Structure
Definability is a key notion in the theory of Grothendieck fibrations th...
research
∙
10/02/2020