Topology is a dense forest of counterexamples. A usable map of the forest is a fine thing.
Dedicated to the memory of our friend and mentor Gary Gruenhage (1947-2023).
Contributing
π-Base's data and software are open-sourced on GitHub. We rely on volunteers like yourself to contribute new spaces, properties, and theorems.
About Us
The π-Base was founded in 2014 by its lead maintainer James Dabbs. π-Base's lead mathematical editor Steven Clontz joined the project in 2017.
In 2026, the π-Base project officially expanded to serve disciplines beyond topology.
Community
The topology π-Base would not be possible without the volunteer efforts of our numerous contributors.
The π-Base is part of the code4math community. Join the conversation on our code4math Zulip channel.
More databases may be discovered at the Index of Mathematical DataBases.
Special Acknowledgements
Many people have contributed to this project, but a few individuals and organizations deserve particular recognition:
- Steen and Seebach for writing the inspiration for this project, Counterexamples in Topology.
- Scott Varagona for his heroic work serializing Counterexamples into the first version of the π-Base.
- Steven and James' graduate advisor, Gary Gruenhage, for all his support and guidance.
- Austin Mohr for his work and feedback using the π-Base as a pedagogical tool and promoting us on Math.StackExchange.
- Funding from the University of South Alabama Faculty Development Council from 2017-2018.