Workshop on Categorical Topology