non-commutative topology