Axioms for Pure Categories and Functors.
(for noframe browsers)