Hartmann's Theory of Categories: Introductory Remarks