This paper studies categorizations that are optimal for the purpose of making predictions. A subject encounters an object (x,y). She observes the first component, x, and has to predict the second component, y. The space of objects is partitioned into categories. The subject determines what...