HIGHLIGHTS
- who: Theoretical Informatics and colleagues from the School of Computer Science University of Birmingham Birmingham, United Kingdom have published the research: ENTICS Patch Locale of a Spectral Locale in Univalent Type Theory, in the Journal: (JOURNAL)
- what: The authors show how to achieve such a translation without resizing axioms by working with large locally small and small complete frames with small bases. The aim of this paper is to carry out this construction in predicative, constructive univalent foundations. For this work, a spectral locale is a locale in which the compact opens form a small . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.