Non-commutative topology