Peter J. Freyd

• Abelian categories
• Categories, allegories
• Functor categories and their application to relative homology