The universal structure of categories : towards a formal typology / Martina Wiltschko