topological type