Gerhard Preuß

• Categorical methods in computer science
• Foundations of Topology
• Theory of Topological Structures