Concepedia

Peter Freyd

PF

Statistics

Publications

26

Citations

3.2K

H-Index

17

Active since

1965

Affiliations

University of Pennsylvania(Current)

University of Ottawa

California University of Pennsylvania

Peter Freyd is an author at University of Pennsylvania specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningRepresentation TheoryDecision TheorySocial SciencesPhysical GeographyBehavioral Decision MakingArts

Publications per year

1965–2008

26

Publications

26

A new polynomial invariant of knots and links

Peter Freyd, David N. Yetter, Jim Hoste et al. · Bulletin of the American Mathematical Society · 1985 · 1.2K citations · Full text

Categories of continuous functors, I

Peter Freyd, G. M. Kelly · Journal of Pure and Applied Algebra · 1972 · 320 citations

Higher Category Theory, Categorical Model, Continuous Functors +1

Braided compact closed categories with applications to low dimensional topology

Peter Freyd, David N. Yetter · Advances in Mathematics · 1989 · 296 citations

Higher Category Theory, Topological Algebra, Topological Property +2

Abelian Categories. An Introduction to the Theory of Functors.

Saunders MacLane, Peter Freyd · American Mathematical Monthly · 1965 · 267 citations

Abelian Categories, Categorical Model, Representation Theory +1

Aspects of topoi

Peter Freyd · Bulletin of the Australian Mathematical Society · 1972 · 262 citations · Full text

Architectural Design, Higher Category Theory, Aspect-oriented Programming +11

1–5 of 26