Topology Dictionary and Topology Encyclopaedia
by
David McIntyre
University of Auckland

I will describe a new website that I will be developing over the next few years. It will contain a comprehensive list of topological definitions (the Topology Dictionary) and a collection of theorems and examples (the Topology Encyclopaedia). The goal will be for users to be able to ask questions like “Suppose X is compact and Hausdorff: must it be productively normal?”. In response the Encyclopaedia would give either a sequence of theorems which give an affirmative answer, or a list of counterexamples in cases where the answer is negative. A key feature of both tools is that users would be able to submit new information (definitions, theorems or examples) for inclusion into the system.

Date received: September 7, 2000