A Theory of Taxonomy. - Guido D'Amico; Raul Rabadan; Matthew Kleban (CoRR, 2016)