# Peter J. Freyd

**Peter FreydFreydFreyd, Peter J.P. Freyd**

Peter J. Freyd (born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation.wikipedia

32 Related Articles

### False Memory Syndrome Foundation

Peter J. Freyd (born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation. Freyd and his wife Pamela founded the False Memory Syndrome Foundation in 1992, after Freyd was accused of sexual abuse by his daughter Jennifer.

The False Memory Syndrome Foundation (FMSF) is a nonprofit organization founded in 1992 by Pamela and Peter Freyd, after their adult daughter Jennifer Freyd accused Peter Freyd of sexual abuse when she was a child.

### Norman Steenrod

**SteenrodNorman Earl SteenrodNorman E. Steenrod**

Freyd obtained his Ph.D. from Princeton University in 1960; his dissertation, on Functor Theory, was written under the supervision of Norman Steenrod and David Buchsbaum.

### David Buchsbaum

**BuchsbaumBuchsbaum, DavidDavid A. Buchsbaum**

Freyd obtained his Ph.D. from Princeton University in 1960; his dissertation, on Functor Theory, was written under the supervision of Norman Steenrod and David Buchsbaum.

Among his doctoral students are Peter J. Freyd and Hema Srinivasan.

### Mitchell's embedding theorem

**Freyd–Mitchell embedding theoremFreyd–Mitchell theoremMitchell embedding theorem**

This work culminates in a proof of the Freyd–Mitchell embedding theorem.

The theorem is named after Barry Mitchell and Peter Freyd.

### Adjoint functors

**left adjointright adjointadjoint functor**

Freyd is perhaps best known for his adjoint functor theorem.

If C is a complete category, then the functors with left adjoints can be characterized by the adjoint functor theorem of Peter J. Freyd: G has a left adjoint if and only if it is continuous and a certain smallness condition is satisfied: for every object Y of D there exists a family of morphisms

### HOMFLY polynomial

**HOMFLYPT polynomialHOMFLY polynomialsHOMFLY(PT) polynomial**

In addition, Freyd's name is associated with the HOMFLYPT polynomial of knot theory, and he and Scedrov originated the concept of (mathematical) allegories.

The name HOMFLY combines the initials of its co-discoverers: Jim Hoste, Adrian Ocneanu, Kenneth Millett, Peter J. Freyd, W. B. R. Lickorish, and David N. Yetter.

### Jennifer Freyd

**JenniferJennifer J. Freyd**

Freyd and his wife Pamela founded the False Memory Syndrome Foundation in 1992, after Freyd was accused of sexual abuse by his daughter Jennifer.

In the early 1990s, Freyd's husband privately accused her father, Peter J. Freyd, of abusing her during her childhood.

### Mathematician

**mathematiciansapplied mathematicianMathematics**

Peter J. Freyd (born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation.

### University of Pennsylvania

**PennThe University of PennsylvaniaPennsylvania**

Peter J. Freyd (born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation.

### Category theory

**categorycategoricalcategories**

Peter J. Freyd (born February 5, 1936) is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation.

### Doctor of Philosophy

**Ph.D.PhDPh.D**

Freyd obtained his Ph.D. from Princeton University in 1960; his dissertation, on Functor Theory, was written under the supervision of Norman Steenrod and David Buchsbaum.

### Princeton University

**PrincetonPrinceton CollegeCollege of New Jersey**

### Allegory (mathematics)

**allegoriesAllegory (category theory)Allegories (category theory)**

In addition, Freyd's name is associated with the HOMFLYPT polynomial of knot theory, and he and Scedrov originated the concept of (mathematical) allegories.

### American Mathematical Society

**AMSChelsea PublishingNew York Mathematical Society**

In 2012 he became a fellow of the American Mathematical Society.

### Evanston, Illinois

**EvanstonEvanston, ILCity of Evanston**

### False memory syndrome

**false memoriesfalse memoryfalse-memory syndrome**

Peter J. Freyd originated the term, which the False Memory Syndrome Foundation (FMSF) subsequently popularized.

### Categorical logic

**internal languagecategorical semanticsCategorical**

### Homotopy category

**homotopy categorieshomotopy category of topological spaceshomotopy**

Indeed, Freyd showed that neither the naive homotopy category of pointed spaces nor the homotopy category of pointed spaces is a concrete category.

### Samuel Eilenberg

**EilenbergEilenberg, SamuelEilenberg, S.**

### List of people by Erdős number

**Erdős numberErdős number 1Erdős numbers**

### Concrete category

**concrete categoriesconcreteconcretizable**

The fact that there does not exist any faithful functor from hTop to Set was first proven by Peter Freyd.