on the Foundations of the Theory of Categories