Categorical topology