# zbMATH — the first resource for mathematics

## Freyd, Peter J.

Compute Distance To:
 Author ID: freyd.peter-j Published as: Freyd, P.; Freyd, P. J.; Freyd, Peter; Freyd, Peter J. External Links: MGP · Wikidata · dblp · GND
 Documents Indexed: 52 Publications since 1963, including 3 Books Biographic References: 2 Publications
all top 5

#### Co-Authors

 33 single-authored 3 Scedrov, Andre 3 Yetter, David N. 2 Finkelstein, Stacy E. 2 Heller, Alex 2 Kelly, Gregory Maxwell 2 Lipton, James B. 2 O’Hearn, Peter W. 2 Power, John 2 Rosolini, Giuseppe 2 Street, Ross H. 2 Takeyama, Makoto 1 Bainbridge, E. S. 1 Bass, Hyman 1 Carboni, Aurelio 1 Cartan, Henri 1 Faber, Richard Leon 1 Friedman, Harvey M. 1 Hoste, Jim 1 Lickorish, William Bernard Raymond 1 Mac Lane, Leslie Saunders 1 Millett, Kenneth C. 1 Mulry, Philip S. 1 Ocneanu, Adrian 1 Robinson, Edmund P. 1 Ščedrov, Andrej 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Tennent, Robert D.
all top 5

#### Serials

 6 Journal of Pure and Applied Algebra 6 Theoretical Computer Science 4 Theory and Applications of Categories 2 Bulletin of the Australian Mathematical Society 2 Annals of Pure and Applied Logic 2 Reprints in Theory and Applications of Categories 1 Advances in Mathematics 1 Colloquium Mathematicum 1 Proceedings of the American Mathematical Society 1 Information and Computation 1 Proceedings of the National Academy of Sciences of the United States of America 1 Bulletin of the American Mathematical Society. New Series 1 Notices of the American Mathematical Society 1 Bulletin of the American Mathematical Society 1 North-Holland Mathematical Library
all top 5

#### Fields

 33 Category theory; homological algebra (18-XX) 17 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 4 Algebraic topology (55-XX) 3 Manifolds and cell complexes (57-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic geometry (14-XX)

#### Citations contained in zbMATH Open

48 Publications have been cited 1,478 times in 1,319 Documents Cited by Year
A new polynomial invariant of knots and links. Zbl 0572.57002
Freyd, P.; Yetter, D.; Hoste, J.; Lickorish, W. B. R.; Millett, K.; Ocneanu, A.
1985
Abelian categories. An introduction to the theory of functors. Zbl 0121.02103
Freyd, P.
1964
Categories, allegories. Zbl 0698.18002
Freyd, Peter J.; Scedrov, André
1990
Categories of continuous functors. I. Zbl 0257.18005
Freyd, P. J.; Kelly, G. M.
1972
Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003
Freyd, Peter J.; Yetter, David N.
1989
Aspects of topoi. Zbl 0252.18001
Freyd, Peter
1972
Functorial polymorphism. Zbl 0717.18005
Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J.
1990
Algebraically complete categories. Zbl 0815.18005
Freyd, Peter
1991
Representations in Abelian categories. Zbl 0202.32402
Freyd, P.
1966
Algebra valued functors in general and tensor products in particular. Zbl 0144.01003
Freyd, P.
1966
Coherence theorems via knot theory. Zbl 0747.18010
Freyd, Peter; Yetter, David N.
1992
Splitting homotopy idempotents. II. Zbl 0786.55008
Freyd, Peter; Heller, Alex
1993
Stable homotopy. Zbl 0195.52901
Freyd, Peter
1966
Remarks on algebraically compact categories. Zbl 0803.18002
Freyd, Peter J.
1992
A categorical approach to realizability and polymorphic types. Zbl 0651.18004
Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre
1988
Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703
Freyd, P.
1968
Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002
Freyd, Peter
1972
Abelian categories. Zbl 1041.18001
Freyd, Peter
2003
The axiom of choice. Zbl 0446.03042
Freyd, Peter
1980
Concreteness. Zbl 0277.18002
Freyd, Peter J.
1973
Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006
Freyd, Peter
1969
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
1992
Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002
Freyd, P. J.; Kelly, G. M.
1974
Splitting homotopy idempotents. Zbl 0195.52902
Freyd, Peter
1966
Choice and well-ordering. Zbl 0625.03046
Freyd, Peter
1987
Homotopy is not concrete. Zbl 0212.55801
Freyd, P.
1970
On the size of categories. Zbl 0854.18003
Freyd, Peter; Street, Ross
1995
All topoi are localic or why permutation models prevail. Zbl 0611.18003
Freyd, Peter
1987
Properties invariant within equivalence types of categories. Zbl 0342.18001
Freyd, Peter
1976
Relative homological algebra made absolute. Zbl 0114.01403
Freyd, P.
1963
On the concreteness of certain categories. Zbl 0248.18008
Freyd, Peter
1970
Stable homotopy. II. Zbl 0222.55020
Freyd, Peter
1970
The Grothendieck group for stable homotopy is free. Zbl 0153.25101
Freyd, P.
1967
Algebraic real analysis. Zbl 1160.03043
Freyd, Peter
2008
Bireflectivity. Zbl 0952.18002
Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R.
1999
Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe
1992
Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045
Freyd, Peter; Friedman, Harvey; Scedrov, Andre
1987
Core algebra revisited. Zbl 1118.18004
Freyd, Peter
2007
Numerology in topoi. Zbl 1103.18002
Freyd, Peter
2006
Homotopy is not concrete. Zbl 1057.18001
Freyd, Peter
2004
A new framework for declarative programming. Zbl 1028.68023
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2004
Cartesian logic. Zbl 1004.03052
Freyd, Peter
2002
Logic programming in tau categories. Zbl 1044.68538
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
1995
Combinators. Zbl 0689.03007
Freyd, Peter
1989
Polynat in PER. Zbl 0674.03014
Freyd, Peter
1989
Fill-in theorems. Zbl 0201.35601
Faber, Richard; Freyd, P.
1966
Samuel Eilenberg (1913-1998). Zbl 0908.01023
Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders
1998
The theories of functors and models. Zbl 0192.03901
Freyd, P.
1965
Algebraic real analysis. Zbl 1160.03043
Freyd, Peter
2008
Core algebra revisited. Zbl 1118.18004
Freyd, Peter
2007
Numerology in topoi. Zbl 1103.18002
Freyd, Peter
2006
Homotopy is not concrete. Zbl 1057.18001
Freyd, Peter
2004
A new framework for declarative programming. Zbl 1028.68023
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2004
Abelian categories. Zbl 1041.18001
Freyd, Peter
2003
Cartesian logic. Zbl 1004.03052
Freyd, Peter
2002
Bireflectivity. Zbl 0952.18002
Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R.
1999
Samuel Eilenberg (1913-1998). Zbl 0908.01023
Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders
1998
On the size of categories. Zbl 0854.18003
Freyd, Peter; Street, Ross
1995
Logic programming in tau categories. Zbl 1044.68538
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
1995
Splitting homotopy idempotents. II. Zbl 0786.55008
Freyd, Peter; Heller, Alex
1993
Coherence theorems via knot theory. Zbl 0747.18010
Freyd, Peter; Yetter, David N.
1992
Remarks on algebraically compact categories. Zbl 0803.18002
Freyd, Peter J.
1992
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
1992
Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe
1992
Algebraically complete categories. Zbl 0815.18005
Freyd, Peter
1991
Categories, allegories. Zbl 0698.18002
Freyd, Peter J.; Scedrov, André
1990
Functorial polymorphism. Zbl 0717.18005
Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J.
1990
Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003
Freyd, Peter J.; Yetter, David N.
1989
Combinators. Zbl 0689.03007
Freyd, Peter
1989
Polynat in PER. Zbl 0674.03014
Freyd, Peter
1989
A categorical approach to realizability and polymorphic types. Zbl 0651.18004
Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre
1988
Choice and well-ordering. Zbl 0625.03046
Freyd, Peter
1987
All topoi are localic or why permutation models prevail. Zbl 0611.18003
Freyd, Peter
1987
Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045
Freyd, Peter; Friedman, Harvey; Scedrov, Andre
1987
A new polynomial invariant of knots and links. Zbl 0572.57002
Freyd, P.; Yetter, D.; Hoste, J.; Lickorish, W. B. R.; Millett, K.; Ocneanu, A.
1985
The axiom of choice. Zbl 0446.03042
Freyd, Peter
1980
Properties invariant within equivalence types of categories. Zbl 0342.18001
Freyd, Peter
1976
Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002
Freyd, P. J.; Kelly, G. M.
1974
Concreteness. Zbl 0277.18002
Freyd, Peter J.
1973
Categories of continuous functors. I. Zbl 0257.18005
Freyd, P. J.; Kelly, G. M.
1972
Aspects of topoi. Zbl 0252.18001
Freyd, Peter
1972
Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002
Freyd, Peter
1972
Homotopy is not concrete. Zbl 0212.55801
Freyd, P.
1970
On the concreteness of certain categories. Zbl 0248.18008
Freyd, Peter
1970
Stable homotopy. II. Zbl 0222.55020
Freyd, Peter
1970
Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006
Freyd, Peter
1969
Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703
Freyd, P.
1968
The Grothendieck group for stable homotopy is free. Zbl 0153.25101
Freyd, P.
1967
Representations in Abelian categories. Zbl 0202.32402
Freyd, P.
1966
Algebra valued functors in general and tensor products in particular. Zbl 0144.01003
Freyd, P.
1966
Stable homotopy. Zbl 0195.52901
Freyd, Peter
1966
Splitting homotopy idempotents. Zbl 0195.52902
Freyd, Peter
1966
Fill-in theorems. Zbl 0201.35601
Faber, Richard; Freyd, P.
1966
The theories of functors and models. Zbl 0192.03901
Freyd, P.
1965
Abelian categories. An introduction to the theory of functors. Zbl 0121.02103
Freyd, P.
1964
Relative homological algebra made absolute. Zbl 0114.01403
Freyd, P.
1963
all top 5

#### Cited by 1,283 Authors

 21 Morozov, Alexei Yurievich 21 Tholen, Walter 19 Stoimenow, Alexander 16 Mironov, Andrei D. 15 Winter, Michael 14 Rosický, Jiří 13 Johnstone, Peter T. 13 Rosolini, Giuseppe 12 Kelly, Gregory Maxwell 12 Morozov, Andreĭ Alekseevich 12 Street, Ross H. 11 Borceux, Francis 11 Kanenobu, Taizo 11 Wang, Shuanhong 10 Adámek, Jiří 10 Przytycki, Józef H. 9 Freyd, Peter J. 9 Garner, Richard 8 Hutchinson, George K. 8 Kauffman, Louis Hirsch 8 Ramadevi, Pichai 8 Scott, Philip J. 8 Sousa, Lurdes 8 Yetter, David N. 7 Grandis, Marco 7 Kawahara, Yasuo 7 Lack, Stephen 7 Lambek, Joachim 7 Takioka, Hideo 6 Barr, Michael 6 Bourn, Dominique 6 Butz, Carsten 6 Fiore, Marcelo P. 6 Furusawa, Hitoshi 6 Herrlich, Horst 6 Isbell, John Rolfe 6 Kahl, Wolfram 6 Majid, Shahn 6 Nastasescu, Constantin 6 Rump, Wolfgang 6 Simpson, Alex K. 6 Zhang, Ruibin 5 Baez, John C. 5 Bergman, George M. 5 Birman, Joan S. 5 Blass, Andreas Raphael 5 Bunge, Marta C. 5 Carboni, Aurelio 5 Diao, Yuanan 5 Heymans, Hans 5 Jacobs, Bart 5 Janelidze, Zurab 5 Jin, Xian’an 5 Millett, Kenneth C. 5 Miyazawa, Yasuyuki 5 Moerdijk, Ieke 5 Niefield, Susan B. 5 Singh, Vivek Kumar 5 Velebil, Jiří 4 Anokhina, A. S. 4 Bespalov, Yuri N. 4 Brin, Matthew G. 4 Casacuberta, Carles 4 Dăuş, Leonard 4 Eisermann, Michael 4 Ésik, Zoltán 4 Gould, Mark D. 4 Heller, Alex 4 Heunen, Chris 4 Hofstra, Pieter J. W. 4 Hyland, J. Martin E. 4 Ishii, Atsushi 4 Jaeger, François 4 Janelidze, George 4 Jeong, Myeong-Ju 4 Joyal, André 4 Labastida, José M. F. 4 Lambropoulou, Sofia S. F. 4 Lickorish, William Bernard Raymond 4 Links, Jon Robert 4 Lipton, James B. 4 Oliveira, José Nuno 4 Olivier, Jean-Pierre 4 Pavlović, Duško 4 Pistone, Paolo 4 Pitts, Andrew M. 4 Power, John 4 Scott, Dana Stewart 4 Sleptsov, A. V. 4 Sleptsov, Alexey 4 Streicher, Thomas 4 Stubbe, Isar 4 Vitale, Enrico Maria 4 Wenzl, Hans 4 Wischnewsky, Manfred Bernd 4 Wolff, Harvey 3 Adelman, Murray 3 Awodey, Steve 3 Barrett, John William 3 Berghammer, Rudolf ...and 1,183 more Authors
all top 5

#### Cited in 188 Serials

 178 Journal of Pure and Applied Algebra 67 Journal of Knot Theory and its Ramifications 65 Journal of Algebra 55 Theoretical Computer Science 52 Applied Categorical Structures 43 Cahiers de Topologie et Géométrie Différentielle Catégoriques 39 Topology and its Applications 35 Advances in Mathematics 33 Annals of Pure and Applied Logic 32 Communications in Algebra 32 Transactions of the American Mathematical Society 24 Algebra Universalis 24 Journal of High Energy Physics 23 Communications in Mathematical Physics 22 Mathematical Proceedings of the Cambridge Philosophical Society 21 Journal of Mathematical Physics 20 Mathematische Zeitschrift 19 Proceedings of the American Mathematical Society 17 Inventiones Mathematicae 17 Journal of Logical and Algebraic Methods in Programming 16 Algebraic & Geometric Topology 13 Information and Computation 12 Fuzzy Sets and Systems 12 The Journal of Symbolic Logic 12 Semigroup Forum 12 MSCS. Mathematical Structures in Computer Science 11 Mathematische Annalen 10 Manuscripta Mathematica 9 Theory and Applications of Categories 7 Bulletin of the Australian Mathematical Society 7 Letters in Mathematical Physics 7 Quaestiones Mathematicae 7 Studia Logica 7 The Journal of Logic and Algebraic Programming 7 Bulletin of the American Mathematical Society 6 Nuclear Physics. B 6 Theoretical and Mathematical Physics 6 Journal of Algebra and its Applications 6 Tbilisi Mathematical Journal 5 Compositio Mathematica 5 Duke Mathematical Journal 5 The Bulletin of Symbolic Logic 5 Journal of Mathematical Chemistry 5 Algebras and Representation Theory 5 Journal of Homotopy and Related Structures 4 Discrete Mathematics 4 Chaos, Solitons and Fractals 4 Applied Mathematics and Computation 4 Journal of Computer and System Sciences 4 Journal of Functional Analysis 4 International Journal of Mathematics 4 Bulletin of the American Mathematical Society. New Series 4 Journal of Mathematical Sciences (New York) 4 Journal of Functional Programming 4 Cahiers de Topologie et Géométrie Différentielle Catégoriques 4 Logical Methods in Computer Science 3 International Journal of Modern Physics A 3 Acta Mathematica Academiae Scientiarum Hungaricae 3 Israel Journal of Mathematics 3 Journal of Statistical Physics 3 Journal of Geometry and Physics 3 Archiv der Mathematik 3 Information Sciences 3 Journal of Soviet Mathematics 3 Order 3 Journal of Symbolic Computation 3 Science in China. Series A 3 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 3 Experimental Mathematics 3 Diagrammes 3 Selecta Mathematica. New Series 3 Geometry & Topology 3 Communications in Contemporary Mathematics 3 Logica Universalis 3 Journal of Physics A: Mathematical and Theoretical 3 Quantum Topology 2 Discrete Applied Mathematics 2 Information Processing Letters 2 Journal of Computational Physics 2 Journal of Mathematical Analysis and Applications 2 Rocky Mountain Journal of Mathematics 2 Mathematics of Computation 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Czechoslovak Mathematical Journal 2 Geometriae Dedicata 2 Publications Mathématiques 2 Mathematical Systems Theory 2 European Journal of Combinatorics 2 Journal of Automated Reasoning 2 SIAM Journal on Discrete Mathematics 2 Forum Mathematicum 2 Formal Aspects of Computing 2 International Journal of Algebra and Computation 2 Expositiones Mathematicae 2 Topology Proceedings 2 Acta Mathematica Sinica. English Series 2 Journal of the Australian Mathematical Society 2 International Journal of Quantum Information 2 Mathematics 2 Open Mathematics ...and 88 more Serials
all top 5

#### Cited in 46 Fields

 681 Category theory; homological algebra (18-XX) 345 Manifolds and cell complexes (57-XX) 207 Mathematical logic and foundations (03-XX) 167 Computer science (68-XX) 150 Associative rings and algebras (16-XX) 130 Group theory and generalizations (20-XX) 122 Quantum theory (81-XX) 78 Order, lattices, ordered algebraic structures (06-XX) 74 Algebraic topology (55-XX) 64 Nonassociative rings and algebras (17-XX) 60 General algebraic systems (08-XX) 60 General topology (54-XX) 46 Combinatorics (05-XX) 35 Algebraic geometry (14-XX) 28 Global analysis, analysis on manifolds (58-XX) 23 Commutative algebra (13-XX) 22 Functional analysis (46-XX) 14 Differential geometry (53-XX) 14 Statistical mechanics, structure of matter (82-XX) 14 Biology and other natural sciences (92-XX) 12 Topological groups, Lie groups (22-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 10 $$K$$-theory (19-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 History and biography (01-XX) 7 Convex and discrete geometry (52-XX) 6 Number theory (11-XX) 6 Geometry (51-XX) 6 Probability theory and stochastic processes (60-XX) 6 Relativity and gravitational theory (83-XX) 5 General and overarching topics; collections (00-XX) 5 Abstract harmonic analysis (43-XX) 4 Field theory and polynomials (12-XX) 4 Several complex variables and analytic spaces (32-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Operator theory (47-XX) 3 Measure and integration (28-XX) 3 Mechanics of particles and systems (70-XX) 3 Information and communication theory, circuits (94-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Systems theory; control (93-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.