  Aristotle does little to frame his theory of categories, offering no explicit derivation of it, nor even specifying overtly what his theory of categories categorizes. If librarians categorize books and botanists categorize plants, then what does the philosophical category theorist categorize?  