research
∙
01/11/2023
Patch Locale of a Spectral Locale in Univalent Type Theory
Stone locales together with continuous maps form a coreflective subcateg...
share
research
∙
10/31/2021
Size Matters in Univalent Foundations
We investigate predicative aspects of constructive univalent foundations...
research
∙
02/17/2021
Predicative Aspects of Order Theory in Univalent Foundations
We investigate predicative aspects of order theory in constructive univa...
research
∙
08/04/2020
Domain Theory in Constructive and Predicative Univalent Foundations
We develop domain theory in constructive univalent foundations without V...
research
∙
11/01/2019