Special Session: Categorical Approaches to Geometry and Topology (2019 CMS Summer meeting)

This session will highlight research that uses category theory to make progress in various areas of geometry and topology. Particularly, we plan to have speakers on topological data analysis, homotopy type theory, topological complexity and robotics, synthetic differential geometry, and orbifolds and groupoids.