Fields Workshop on Smooth Structures in Logic, Category Theory and Physics