OOP and the Problem of Universals

Types, Properties and RelationsFollowing on from the previous post on Plato's allegory of the cave, I thought I'd dig a little deeper into the whole notion of the morphological realm -- the realm of forms -- in particular the so-called "problem of universals," the question curiously belaboured through the history of philosophy as to whether types like "human," properties like "redness," or