Definitions of Pure Abstract Categories and Functors.
(for noframe browsers)