The universal structure of categories towards a formal typology - Wiltschko, Martina (Cambridge University press, 2014)