The Theory of Categories