The following pages link to The point of pointless topology (Q3965242):
Displaying 50 items.
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Separating families of locale maps and localic embeddings (Q412005) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- Quantales of open groupoids (Q426730) (← links)
- Normal spectral spaces and their dimensions (Q594151) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Locales in functional analysis (Q807736) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Presenting the frame of the unit circle. (Q890649) (← links)
- Approximating orders in meet-continuous lattices and regularity axioms in many valued topology (Q925255) (← links)
- Machine semantics (Q959818) (← links)
- Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces (Q1056771) (← links)
- Semiprime ideals in general lattices (Q1115892) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Particle-free bodies and point-free spaces (Q1621830) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- No finite axiomatizations for posets embeddable into distributive lattices (Q1693041) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- \(L\)-fuzzy version of Stone's representation theorem for distributive lattices (Q1920356) (← links)
- An étalé space construction for stacks (Q1948301) (← links)
- The category of finitary biframes as the category of pointfree bispaces (Q1979276) (← links)
- Categorical geometry and integration without points (Q2015818) (← links)
- The topology of a quantale valued metric space (Q2035417) (← links)
- Pointless proofs of the Menger and Rothberger games (Q2049890) (← links)
- An abstract theory of physical measurements (Q2062513) (← links)
- A category of quantum posets (Q2088113) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Adjoint maps between implicative semilattices and continuity of localic maps (Q2120440) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Strong De Morgan's law and the spectrum of a commutative ring (Q2266766) (← links)
- Functoriality of groupoid quantales. I. (Q2341526) (← links)
- A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors (Q2404948) (← links)
- Monoreflections of Archimedean \(\ell\)-groups, regular \(\sigma\)-frames and regular Lindelöf frames (Q2508936) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- \(\kappa\)-frames (Q2640625) (← links)
- Gelfand-type duality for commutative von Neumann algebras (Q2664599) (← links)
- On the geometry of physical measurements: topological and algebraic aspects (Q2684760) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Compactification of Frames (Q3209834) (← links)
- Some Reasons to Reopen the Question of the Foundations of Probability Theory Following Gian-Carlo Rota (Q3295838) (← links)
- (Q3735913) (← links)
- Neighbourhood lattices – a poset approach to topological spaces (Q3810500) (← links)
- (Q3820598) (← links)
- (Q3820652) (← links)
- The Lindelöf Tychonoff Theorem and choice principles (Q3977016) (← links)
- Tychonoff's theorem in the framework of formal topologies (Q4382478) (← links)
