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 and contributing research software engineer Steven Clontz joined the project in 2017.
Community
The π-Base is part of the code4math community. Join the conversation on either the code4math Zulip or the π-Base GitHub Discussion board.
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.