Algebraic Quantum Field Theories are formulated by giving axioms on a C*-algebra valued cosheaf on the open subsets of Minkowski space. This dependence on an a priori specified spacetime is the subject of debate. Here we begin investigations into one possibility for removing this dependence. The fundamental idea is to attempt to derive a spatial locale equivalent to the open sets on Minkowski space from families of observables. In this talk, we outline the basic structures and describe some initial steps towards realizing this program.
Towards Spatiality of the Spacetime Locale