Abstract:It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in [1]. Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category S, provided that S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.

Elementary schematic geometry

Geometric contexts and applications to logic

New foundations for geometry

Algebraic geometry in tensor categories

Internal geometry and functors between sites

Schemes of Finite Expansion and Universally Closed Curves

The topological shadow of -geometry: congruence spaces

How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

On Geometric Implications

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets

Algebraic spaces that become schematic after ground field extension

Model categories for o-minimal geometry

Spherical objects in dimensions two and three

D-Geometric Hilbert and Quot DG-Schemes

Étale motives of geometric origin

Geometric realisation of relation modules over aspherical groups

Trees, graphs and aggregates: a categorical perspective on combinatorial surface topology, geometry, and algebra

Gluing of infinitesimal models of algebraic theories

A homotopy-theoretic context for CKM/Birkhoff renormalization