Varieties of topological geometries

Abstract

A variety of topological geometries is either A. a projective variety L ( F ) \mathcal {L}(F) over some topological field F F , or B. a matchstick variety M ( X ) \mathcal {M}(X) over some topological space X X . As a main tool for showing this, we prove a structure theorem for arbitrary topological geometries.