Towards a general theory of classifications - Parrochia, Daniel 1951-; Neuville, Pierre (Studies in universal logic, 2013)