Theory of topological structures an approach to categorical topology - Preuss, Gerhard (Reidel, 1988)