Here’s the first revision of a graph of the implications of topological properties that I made:
(Click on it to see a better version!)
It’s mostly based off the stuff in Counterexamples In Topology (great book, BTW) but I did add some stuff (like Baire!) and merged/reorganised it. Diagram was made by Graphviz.
Most of the implications are trivial, but there are a few I haven’t prooved yet (most of the ones involving seperation axioms).