Background
Freyd, Peter John was born on February 5, 1936 in Evanston, Illinois, United States. Son of Paul Robert and Pauline Margaret (Pattinson) Freyd.
(Peter Freyd: Abelian Categories An Introduction to the Th...)
Peter Freyd: Abelian Categories An Introduction to the Theory of Functions Harper's Series of Modern Mathematics
http://www.amazon.com/Abelian-Categories-Introduction-Functors-Mathematics/dp/B0000CMCLZ%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB0000CMCLZ?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(General concepts and methods that occur throughout mathem...)
General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
http://www.amazon.com/Categories-Allegories-North-Holland-Mathematical-Library/dp/0444703683%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0444703683?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Categories-Allegories-North-Holland-Mathematical-Hardcover/dp/B010WFOVL6%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB010WFOVL6?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
Freyd, Peter John was born on February 5, 1936 in Evanston, Illinois, United States. Son of Paul Robert and Pauline Margaret (Pattinson) Freyd.
AB magna cum laude, Brown University, 1958. Master of Arts (Woodrow Wilson fellow), Princeton University, 1959. Doctor of Philosophy, Princeton University, 1960.
Teacher art Conti Art School, Providence, 1952—1954. Teacher carpentry Camp Cragged Mountain Farm, Freedom, New Hampshire, 1954. Instructor statistics Batton Barton Durstine and Osborn, New York City, 1956.
Assistant instructor mathematics Brown University, Providence, 1957, instructor mathematics National Science Foundation program, 1958—1959, instructor Academy Potential project, 1960. Assistant instructor mathematics Princeton University, 1959—1960. Teacher dramatics American School, Shiraz, Iran, 1968.
J.F. Ritt instructor mathematics Columbia University, New York City, 1960-1962. Faculty University Pennsylvania, Philadelphia, since 1962, professor mathematics, since 1968, chairman graduate group mathematics, 1982-1987, professor computer information science, since 1987. Director Laboratory for Logic and Computation, since 1993.
Adviser Pahlavi University, Shiraz, Iran, 1968. Lecturer Canadian National Research Seminar, 1974. Visiting researcher Swiss Federal Institute of Technology, Zurich, 1969.
Visiting researcher University Mexico, 1975, University Sydney, 1985, University Milan, 1986, University Parma, 1990. Visiting professor University Chicago, 1980, University Louvain, Belgium, 1981. Visiting professor in computer science Carnegie Mellon University, 1988-1989.
(General concepts and methods that occur throughout mathem...)
(Peter Freyd: Abelian Categories An Introduction to the Th...)
Author: Abelian Categories, 1964. (with Andre Scedrov) Categories, Allegories, 1990. Founder Journal Pure and Applied Algebra, 1970.
Editor Theoretical Computer Science, since 1988, Mathematical Structures in Computer Science, since 1989, International Journal Algebra and Computation, since 1990, Journal Knot Theory and its Ramifications, since 1991.
Member Isaac Newton Institute 1995, Phi Beta Kappa, Sigma Xi.
Married Pamela Parker, January 1, 1957. Children: Jennifer Joy, Gwendolyn Annual.