Definitions of pure categories and functors.

<body><a href="pcf-defns-m.html">Definitions of pure categories and functors.</a> (for noframe browsers) </body>