Pages that link to "Item:Q2575774"
From MaRDI portal
The following pages link to Regular universes and formal spaces (Q2575774):
Displaying 4 items.
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
