Categorical_topology loading ...