 The first two kinds of nominalism listed above are independent of one another. Historically, there have been philosophers who denied metaphysical universals, but allowed (individual) entities in more ontological categories than Ockham does. Conversely, one might reduce the number of ontological categories, and yet hold that universal entities are needed in the categories that remain.