Pages that link to "Item:Q4899177"
From MaRDI portal
The following pages link to A constructive Galois connection between closure and interior (Q4899177):
Displayed 4 items.
- Positivity relations on a locale (Q290642) (← links)
- The overlap algebra of regular opens (Q979062) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)