Definition:

Let us axiomatically define a theory which we shall call an objectless or object free category theory. In this theory, the only primitive concepts (besides the usual logical concepts and the equality concept) are: 537 more words