The Topos Of A Connectivity Space

2016/10/14 by Stéphane Dugowson, Dugowson, Stéphane
Computer Science · #Distributed systems and fault tolerance #Computability, Logic, AI Algorithms #Optimization and Search Problems

paper · pdf · doi:10.48550/arxiv.1610.04422

Abstract

In this short note, a topos - called the topos of the connectivity space - is associated with every such space.

Related

• What is Connectivity?
• Toposes of connectivity spaces. Morita equivalences with topological spaces and partially ordered sets in the finite case
• Point-Set Topology
• Topologies and all that -- A Tutorial
• An informal introduction to topos theory