Freyd
E665085
Freyd is Peter Freyd, an American mathematician known for his influential work in category theory and contributions to knot theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Freyd canonical | 1 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
American mathematician
ⓘ
human ⓘ mathematician ⓘ |
| academicDiscipline | pure mathematics ⓘ |
| affiliation | Department of Mathematics, University of Pennsylvania NERFINISHED ⓘ |
| coAuthor |
Andre Scedrov
NERFINISHED
ⓘ
Gary M. Kelly NERFINISHED ⓘ John W. Gray NERFINISHED ⓘ Saunders Mac Lane NERFINISHED ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| doctoralAdvisor | Norman Steenrod NERFINISHED ⓘ |
| doctoralStudent |
Andre Scedrov
NERFINISHED
ⓘ
Gary M. Kelly NERFINISHED ⓘ John W. Gray NERFINISHED ⓘ |
| educatedAt |
Princeton University
ⓘ
University of Pennsylvania ⓘ |
| employer | University of Pennsylvania ⓘ |
| familyName | Freyd NERFINISHED ⓘ |
| fieldOfWork |
category theory
ⓘ
knot theory ⓘ mathematics ⓘ |
| gender | male ⓘ |
| givenName | Peter ⓘ |
| hasResearchInterest |
foundations of category theory
ⓘ
homological algebra ⓘ homotopy theory ⓘ topology ⓘ |
| influenced |
categorical approaches to homotopy theory
ⓘ
development of modern category theory ⓘ |
| influencedBy |
Norman Steenrod
NERFINISHED
ⓘ
Saunders Mac Lane NERFINISHED ⓘ |
| knownFor |
Freyd–Mitchell embedding theorem
NERFINISHED
ⓘ
contributions to knot theory ⓘ foundational work in category theory ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society NERFINISHED ⓘ |
| name | Peter Freyd NERFINISHED ⓘ |
| notableConcept |
Freyd category
NERFINISHED
ⓘ
Freyd–Kelly factorization system NERFINISHED ⓘ |
| notableStudent |
Andre Scedrov
NERFINISHED
ⓘ
Gary M. Kelly NERFINISHED ⓘ John W. Gray NERFINISHED ⓘ |
| notableWork |
Freyd–Mitchell embedding theorem
NERFINISHED
ⓘ
abelian categories NERFINISHED ⓘ adjoint functor theorems NERFINISHED ⓘ algebraic theories ⓘ homotopy theory in categorical context ⓘ |
| occupation | university teacher ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.