PiBase: Topology

π-Base Topology is a community database of topological counterexamples.

The database has:
- Topological Spaces
- Topological Theorems.
- Topological Properties.
- References (Books, Articles, Forums).

Information inside the app:
- Space, Theorem and Property descriptions.
- Properties that are (and aren´t) satisfied by a given space.
- Converses of theorems for which a given space is a counterexample.
- Given a property, which spaces satisfy and don´t satisfy it.
- Counterexamples for the converse of a given theorem. If the converse is True, a proof or reference is given.
- Spaces that satisfy a given logical formula formed with properties (search by formula).
- References.