The following pages link to (Q4540524):
Displayed 8 items.
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Local Compactness and the Baire Category Theorem in Abstract Stone Duality (Q2842829) (← links)
- T0 convergence-approach spaces (Q5083653) (← links)
- (Q5208904) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)