nLab Peter Freyd

• website

• Wikipedia

Selected writings

On the relation between toposes and abelian categories and introducing the unifying notion of AT-categories:

• Peter Freyd in reply to Vaughan Pratt, Abelian-topos (AT) categories, mailing list comments (1999) [catlist:1999/atcat, txt]

On abelian categories:

• Peter Freyd, Abelian Categories, Harper and Row (1964), Reprints in Theory and Applications of Categories 3 (2003) 23-164 [tac:tr3]

On category theory:

• Peter Freyd, The theories of functors and models, in: Proceedings of Symposium on the Theory of Models, North Holland, 1965 (doi:10.1016/C2013-0-11897-1)

• Peter Freyd, Andre Scedrov, Categories, Allegories, Mathematical Library Vol 39, North-Holland (1990) (ISBN 978-0-444-70368-2)

On continuous functors (and introducing the notion of orthogonal factorization systems):

• Peter Freyd, Max Kelly, Categories of continuous functors, J. Pure. Appl. Algebra 2 (1972) 169-191 [doi:10.1016/0022-4049(72)90001-1]

On bireflective subcategories with ambidextrous adjoints:

• Peter Freyd, Peter O’Hearn, A. John Power, M. Takeyama, Ross Street, Robert D. Tennent, Bireflectivity, Theoretical Computer Science 228 1–2 (1999) 49-76 [doi:10.1016/S0304-3975(98)00354-5]

On real analysis:

• Peter Freyd, Algebraic real analysis, Theory and Applications of Categories, Vol. 20, 2008, No. 10, pp 215-306 (tac:20-10)

Some unpublished works may be found in this Google Drive folder.

Related entries

• Freyd-Mitchell embedding theorem

• adjoint functor theorem

• AT category

• paracategory

• allegory

category: people