DeepAI AI Chat
Log In Sign Up

Factorizing the Top-Loc adjunction through positive topologies

12/20/2018
by   Francesco Ciraulo, et al.
0

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

page 1

page 2

page 3

page 4

02/15/2022

Saturated Kripke Structures as Vietoris Coalgebras

We show that the category of coalgebras for the compact Vietoris endofun...
08/31/2023

Inverse designing surface curvatures by deep learning

Smooth and curved microstructural topologies found in nature - from soap...
07/07/2023

GeoPhy: Differentiable Phylogenetic Inference via Geometric Gradients of Tree Topologies

Phylogenetic inference, grounded in molecular evolution models, is essen...
06/09/2022

Universal Properties of Partial Quantum Maps

We provide a universal construction of the category of finite-dimensiona...
03/31/2023

Beyond Multilayer Perceptrons: Investigating Complex Topologies in Neural Networks

In this study, we explore the impact of network topology on the approxim...
08/26/2019

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

Many academic and industrial research works on WANETs rely on simulation...