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