The following pages link to (Q4540524):
Displaying 10 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)
- Topological spaces versus frames in the topos of \(M\)-sets (Q6589723) (← links)
- Probability monads with submonads of deterministic states (Q6649470) (← links)
