The patch topology in univalent foundations

DOI10.1017/S0960129525000088MaRDI QIDQ6936250zbMATH OpenFDO

Authors Igor Arrieta, Martín Escardo, Ayberk Tosun

Publication date 1 September 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

constructive mathematicspatch topologypointfree topologylocale theoryunivalent foundationsspectral locale

Mathematics Subject Classification ID

Frames, locales (06D22) Categorical logic, topoi (03G30) Type theory (03B38)

This page was built for publication: The patch topology in univalent foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6936250)