Recommendations
- On Positive Relational Calculi
- Local operator multipliers and positivity
- A Note on Positive Equivalence Relations
- On positive operators
- scientific article; zbMATH DE number 738993
- On the meaning of positivity relations for regular formal spaces
- scientific article; zbMATH DE number 5252230
- scientific article; zbMATH DE number 897253
- NOTIONS OF POSITIVITY AND THE OZSVÁTH–SZABÓ CONCORDANCE INVARIANT
- scientific article; zbMATH DE number 1583096
Cites work
- scientific article; zbMATH DE number 2125651 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 1420795 (Why is no real title available?)
- scientific article; zbMATH DE number 2247258 (Why is no real title available?)
- A constructive Galois connection between closure and interior
- Constructive points of powerlocales
- Constructive theory of the lower power locale
- Inductively generated formal topologies.
- Localic sup-lattices and tropological systems.
- On the meaning of positivity relations for regular formal spaces
- Quantales, observational logic and process semantics
- Some points in formal topology.
- Sublocales in formal topology
Cited in
(8)- On Positive Relational Calculi
- scientific article; zbMATH DE number 1899818 (Why is no real title available?)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Embedding locales and formal topologies into positive topologies
- On the meaning of positivity relations for regular formal spaces
- On Small Types in Univalent Foundations
- Sublocales in formal topology
- Relative formal topology: the binary positivity predicate comes first
This page was built for publication: Positivity relations on a locale
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290642)
