Talk:Noncommutative topology