Mathematical Structures in Computer Science

Paper

Spatiality for formal topologies

NICOLA GAMBINOa1 and PETER SCHUSTERa2

a1 Laboratoire de Combinatoire et Informatique Mathématique, Université du Québec à Montréal, Case Postale 8888, Succ. Centre-Ville, Montréal (Québec) H3C 3P8, Canada Email: gambino@math.uqam.ca

a2 Mathematisches Institut, Universität München, Theresienstrasse 39, 80333 Müunchen, Germany Email: Peter.Schuster@mathematik.uni-munchen.de

Abstract

We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples.

(Received November 30 2005)

(Revised May 06 2006)

(Revised July 01 2006)