A Sketch theoretical survey Towards a typology of mathematical structures Marie Bjerrum — 2009 Diagrammes