A Theory of Pure Categories
(for noframe browsers)