Special Session on Categorical Topology (AMS-MAA JMM, 2014)