Separation axioms and the Topology Database

I recently deemed it convenient to be able to see the relationship between some general topology concepts in just one gaze. That’s why I prepared a graph describing their implications. I have made it available here hoping that it will be of use for someone else. All the definitions come from the book General Topology by Stephen Willard.

I needed to roll my own solution but Ryan Dahl has set up the Topology Database and this website not only publishes more implication graphs like the one above but it also intends to be the online equivalent to Counterexamples in Topology. This is a wiki-like site and the author even publishes the source code licensed under the GNU General Public License.