Peter J. Freyd | Academic Influence

Peter J. Freyd's AcademicInfluence.com Rankings

Peter J. Freyd

Mathematics

#2742

World Rank

#4171

Historical Rank

#1067

USA Rank

Measure Theory

#3091

World Rank

#3663

Historical Rank

#899

USA Rank

mathematics Degrees

Download Badge

Mathematics

Peter J. Freyd's Degrees

PhD Mathematics Princeton University

Why Is Peter J. Freyd Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Peter John Freyd 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. Mathematics 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.

(See a Problem?)

Peter J. Freyd's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A new polynomial invariant of knots and links (1985) (1110)
Categories, allegories (1990) (363)
Categories of continuous functors, I (1972) (350)
Braided Compact Closed Categories with Applications to Low Dimensional Topology (1989) (314)
Aspects of topoi (1972) (286)
Abelian categories : an introduction to the theory of functors (1965) (266)
Algebraically complete categories (1991) (208)
Functorial Polymorphism (1990) (182)
Representations in Abelian Categories (1966) (147)
North-Holland Mathematical Library (2005) (130)
Algebra valued functors in general and tensor products in particular (1966) (113)
Recursive types reduced to inductive types (1990) (99)
Applications of Categories in Computer Science: Remarks on algebraically compact categories (1992) (93)
Coherence theorems via knot theory (1992) (89)
Functional polymorphism (1990) (81)
A Categorical Approach to Realizability and Polymorphic Types (1987) (78)
Splitting homotopy idempotents II (1993) (70)
Extensional PERs (1990) (60)
Redei’s finiteness theorem for commutative semigroups (1968) (39)
Structural Polymorphism (1993) (31)
Properties Invariant within Equivalence Types of Categories (1976) (30)
Homotopy is not concrete (1970) (29)
Semantic parametricity in polymorphic lambda calculus (1988) (28)
Cartesian logic (2002) (25)
Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories (1969) (22)
A new framework for declarative programming (2003) (19)
Aspects of topoi: Corrigenda and acknowledgements (1972) (19)
Some Semantic Aspects of Polymorphic Lambda Calculus (1987) (16)
C167H336 is the smallest alkane with more realizable isomers than the observed universe has "particles" (1989) (16)
Algebraic real analysis. (2008) (16)
On the size of categories. (1995) (14)
The axiom of choice (1980) (14)
Logic Programming in Tau Categories (1994) (13)
Choice and well-ordering (1987) (12)
All topoi are localic or why permutation models prevail (1987) (11)
Applications of Categories in Computer Science: Dinaturality for free (1992) (10)
Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups (1968) (8)
The Grothendieck group for stable homotopy is free (1967) (7)
NUMEROLOGY IN TOPOI (2006) (6)
RELATIVE HOMOLOGICAL ALGEBRA MADE ABSOLUTE. (1963) (4)
Core algebra revisited (2007) (4)
Fill-in Theorems (1966) (3)
THE THEORY OF CORE ALGEBRAS: ITS COMPLETENESS (2007) (3)
Lindenbaum algebras of intuitionistic theories and free categories (1987) (3)
Bireflectivity (1995) (1)
THE THEORIES OF FUNCTORS AND MODELS (2014) (1)
A New Framework for Declarative Programming: Categorial Perspectives (1996) (1)
Bire ectivity (1999) (1)
1994 Spring Meeting of the Association for Symbolic Logic (1995) (0)
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160] (2004) (0)
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? (1999) (0)
Elementary Problems: E3409-E3414 (1990) (0)
On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras ∗ (2017) (0)
ALGEBRAICALLY COMPLEI'E CATEGORIES (2016) (0)
Functional parametricity (1992) (0)
ASSOCIATION FOR SYMBOLIC LOGIC (2019) (0)

This paper list is powered by the following services:

Other Resources About Peter J. Freyd

en.wikipedia.org

What Schools Are Affiliated With Peter J. Freyd?

Peter J. Freyd is affiliated with the following schools:

Image Attributions

Image Source for Peter J. Freyd