A Sketch theoretical survey Towards a typology of mathematical structures

Sommaire