Factorizing the Top-Loc adjunction through positive topologies

12/20/2018

∙

We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the newly constructed adjunction.

READ FULL TEXT

Factorizing the Top-Loc adjunction through positive topologies

Saturated Kripke Structures as Vietoris Coalgebras

Inverse designing surface curvatures by deep learning

GeoPhy: Differentiable Phylogenetic Inference via Geometric Gradients of Tree Topologies

Universal Properties of Partial Quantum Maps

Beyond Multilayer Perceptrons: Investigating Complex Topologies in Neural Networks

A Methodology to Select Topology Generators for WANET Simulations (Extended Version)

Systematic Enumeration and Identification of Unique Spatial Topologies of 3D Systems Using Spatial Graph Representations

Factorizing the Top-Loc adjunction through positive topologies

Related Research

Saturated Kripke Structures as Vietoris Coalgebras

Inverse designing surface curvatures by deep learning

GeoPhy: Differentiable Phylogenetic Inference via Geometric Gradients of Tree Topologies

Universal Properties of Partial Quantum Maps

Beyond Multilayer Perceptrons: Investigating Complex Topologies in Neural Networks

A Methodology to Select Topology Generators for WANET Simulations (Extended Version)

Systematic Enumeration and Identification of Unique Spatial Topologies of 3D Systems Using Spatial Graph Representations