Edit Profile (opens in new tab) Freyd, Peter J. Co-Author Distance Author ID: freyd.peter-j Published as: Freyd, Peter; Freyd, P.; Freyd, Peter J.; Freyd, P. J. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 52 Publications since 1963, including 3 Books Biographic References: 2 Publications Co-Authors: 26 Co-Authors with 19 Joint Publications 601 Co-Co-Authors all top 5 Co-Authors 33 single-authored 4 Ščedrov, Andrej 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 Ocneanu, Adrian 1 Robinson, Edmund P. 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 34 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 1,973 times in 1,763 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. 433 1985 Abelian categories. An introduction to the theory of functors. Zbl 0121.02103 Freyd, P. 289 1964 Categories, allegories. Zbl 0698.18002 Freyd, Peter J.; Scedrov, André 224 1990 Categories of continuous functors. I. Zbl 0257.18005 Freyd, P. J.; Kelly, G. M. 161 1972 Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003 Freyd, Peter J.; Yetter, David N. 128 1989 Aspects of topoi. Zbl 0252.18001 Freyd, Peter 120 1972 Representations in Abelian categories. Zbl 0202.32402 Freyd, P. 91 1966 Functorial polymorphism. Zbl 0717.18005 Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J. 56 1990 Algebraically complete categories. Zbl 0815.18005 Freyd, Peter 53 1991 Algebra valued functors in general and tensor products in particular. Zbl 0144.01003 Freyd, P. 46 1966 Stable homotopy. Zbl 0195.52901 Freyd, Peter 35 1966 Coherence theorems via knot theory. Zbl 0747.18010 Freyd, Peter; Yetter, David N. 33 1992 A categorical approach to realizability and polymorphic types. Zbl 0651.18004 Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre 26 1988 Splitting homotopy idempotents. II. Zbl 0786.55008 Freyd, Peter; Heller, Alex 25 1993 Remarks on algebraically compact categories. Zbl 0803.18002 Freyd, Peter J. 23 1992 Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703 Freyd, P. 18 1968 Abelian categories. Zbl 1041.18001 Freyd, Peter 17 2003 Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006 Freyd, Peter 15 1969 The axiom of choice. Zbl 0446.03042 Freyd, Peter 14 1980 Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002 Freyd, Peter 14 1972 Extensional PERs. Zbl 0762.18006 Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 13 1992 Splitting homotopy idempotents. Zbl 0195.52902 Freyd, Peter 11 1966 Concreteness. Zbl 0277.18002 Freyd, Peter J. 9 1973 Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002 Freyd, P. J.; Kelly, G. M. 8 1974 Stable homotopy. II. Zbl 0222.55020 Freyd, Peter 8 1970 Properties invariant within equivalence types of categories. Zbl 0342.18001 Freyd, Peter 8 1976 Homotopy is not concrete. Zbl 0212.55801 Freyd, P. 8 1970 Choice and well-ordering. Zbl 0625.03046 Freyd, Peter 7 1987 On the size of categories. Zbl 0854.18003 Freyd, Peter; Street, Ross 7 1995 On the concreteness of certain categories. Zbl 0248.18008 Freyd, Peter 7 1970 Algebraic real analysis. Zbl 1160.03043 Freyd, Peter 7 2008 All topoi are localic or why permutation models prevail. Zbl 0611.18003 Freyd, Peter 6 1987 Bireflectivity. Zbl 0952.18002 Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R. 5 1999 Dinaturality for free. Zbl 0783.18003 Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe 5 1992 Relative homological algebra made absolute. Zbl 0114.01403 Freyd, P. 5 1963 A new framework for declarative programming. Zbl 1028.68023 Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 4 2004 Core algebra revisited. Zbl 1118.18004 Freyd, Peter 4 2007 The Grothendieck group for stable homotopy is free. Zbl 0153.25101 Freyd, P. 4 1967 Polynat in PER. Zbl 0674.03014 Freyd, Peter 3 1989 Cartesian logic. Zbl 1004.03052 Freyd, Peter 3 2002 Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045 Freyd, Peter; Friedman, Harvey; Scedrov, Andre 3 1987 Homotopy is not concrete. Zbl 1057.18001 Freyd, Peter 3 2004 Logic programming in tau categories. Zbl 1044.68538 Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 3 1995 Combinators. Zbl 0689.03007 Freyd, Peter 2 1989 Structural polymorphism. Zbl 0812.18007 Freyd, P. 2 1993 Numerology in topoi. Zbl 1103.18002 Freyd, Peter 2 2006 The theories of functors and models. Zbl 0192.03901 Freyd, P. 2 1965 Fill-in theorems. Zbl 0201.35601 Faber, Richard; Freyd, Peter 2 1966 Samuel Eilenberg (1913-1998). Zbl 0908.01023 Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders 1 1998 Algebraic real analysis. Zbl 1160.03043 Freyd, Peter 7 2008 Core algebra revisited. Zbl 1118.18004 Freyd, Peter 4 2007 Numerology in topoi. Zbl 1103.18002 Freyd, Peter 2 2006 A new framework for declarative programming. Zbl 1028.68023 Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 4 2004 Homotopy is not concrete. Zbl 1057.18001 Freyd, Peter 3 2004 Abelian categories. Zbl 1041.18001 Freyd, Peter 17 2003 Cartesian logic. Zbl 1004.03052 Freyd, Peter 3 2002 Bireflectivity. Zbl 0952.18002 Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R. 5 1999 Samuel Eilenberg (1913-1998). Zbl 0908.01023 Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders 1 1998 On the size of categories. Zbl 0854.18003 Freyd, Peter; Street, Ross 7 1995 Logic programming in tau categories. Zbl 1044.68538 Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 3 1995 Splitting homotopy idempotents. II. Zbl 0786.55008 Freyd, Peter; Heller, Alex 25 1993 Structural polymorphism. Zbl 0812.18007 Freyd, P. 2 1993 Coherence theorems via knot theory. Zbl 0747.18010 Freyd, Peter; Yetter, David N. 33 1992 Remarks on algebraically compact categories. Zbl 0803.18002 Freyd, Peter J. 23 1992 Extensional PERs. Zbl 0762.18006 Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 13 1992 Dinaturality for free. Zbl 0783.18003 Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe 5 1992 Algebraically complete categories. Zbl 0815.18005 Freyd, Peter 53 1991 Categories, allegories. Zbl 0698.18002 Freyd, Peter J.; Scedrov, André 224 1990 Functorial polymorphism. Zbl 0717.18005 Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J. 56 1990 Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003 Freyd, Peter J.; Yetter, David N. 128 1989 Polynat in PER. Zbl 0674.03014 Freyd, Peter 3 1989 Combinators. Zbl 0689.03007 Freyd, Peter 2 1989 A categorical approach to realizability and polymorphic types. Zbl 0651.18004 Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre 26 1988 Choice and well-ordering. Zbl 0625.03046 Freyd, Peter 7 1987 All topoi are localic or why permutation models prevail. Zbl 0611.18003 Freyd, Peter 6 1987 Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045 Freyd, Peter; Friedman, Harvey; Scedrov, Andre 3 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. 433 1985 The axiom of choice. Zbl 0446.03042 Freyd, Peter 14 1980 Properties invariant within equivalence types of categories. Zbl 0342.18001 Freyd, Peter 8 1976 Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002 Freyd, P. J.; Kelly, G. M. 8 1974 Concreteness. Zbl 0277.18002 Freyd, Peter J. 9 1973 Categories of continuous functors. I. Zbl 0257.18005 Freyd, P. J.; Kelly, G. M. 161 1972 Aspects of topoi. Zbl 0252.18001 Freyd, Peter 120 1972 Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002 Freyd, Peter 14 1972 Stable homotopy. II. Zbl 0222.55020 Freyd, Peter 8 1970 Homotopy is not concrete. Zbl 0212.55801 Freyd, P. 8 1970 On the concreteness of certain categories. Zbl 0248.18008 Freyd, Peter 7 1970 Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006 Freyd, Peter 15 1969 Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703 Freyd, P. 18 1968 The Grothendieck group for stable homotopy is free. Zbl 0153.25101 Freyd, P. 4 1967 Representations in Abelian categories. Zbl 0202.32402 Freyd, P. 91 1966 Algebra valued functors in general and tensor products in particular. Zbl 0144.01003 Freyd, P. 46 1966 Stable homotopy. Zbl 0195.52901 Freyd, Peter 35 1966 Splitting homotopy idempotents. Zbl 0195.52902 Freyd, Peter 11 1966 Fill-in theorems. Zbl 0201.35601 Faber, Richard; Freyd, Peter 2 1966 The theories of functors and models. Zbl 0192.03901 Freyd, P. 2 1965 Abelian categories. An introduction to the theory of functors. Zbl 0121.02103 Freyd, P. 289 1964 Relative homological algebra made absolute. Zbl 0114.01403 Freyd, P. 5 1963 all cited Publications top 5 cited Publications all top 5 Cited by 1,707 Authors 24 Morozov, Alexei Yurievich 24 Tholen, Walter 21 Stoimenow, Alexander 18 Winter, Michael 17 Mironov, Andrei D. 17 Street, Ross H. 15 Morozov, Andreĭ Alekseevich 15 Rosický, Jiří 14 Adámek, Jiří 13 Garner, Richard 13 Kauffman, Louis Hirsch 13 Kawahara, Yasuo 13 Przytycki, Józef Henryk 13 Rump, Wolfgang 12 Kanenobu, Taizo 12 Kelly, Gregory Maxwell 12 Rosolini, Giuseppe 11 Borceux, Francis 11 Takioka, Hideo 11 Wang, Shuanhong 10 Freyd, Peter J. 10 Johnstone, Peter T. 10 Lack, Stephen 10 Scott, Philip J. 10 Sousa, Lurdes 9 Furusawa, Hitoshi 9 Hofstra, Pieter J. W. 9 Pous, Damien 8 Jin, Xian’an 8 Kahl, Wolfram 8 Miyazawa, Yasuyuki 8 Ramadevi, Pichai 8 Yetter, David N. 7 Barr, Michael 7 Bourn, Dominique 7 Diao, Yuanan 7 Fiore, Marcelo P. 7 Grandis, Marco 7 Guttmann, Walter 7 Johann, Patricia 7 Kucharski, Piotr 7 Labastida, José M. F. 7 Lambek, Joachim 7 Majid, Shahn 7 Oliveira, José Nuno 7 Pavlović, Duško 7 Pistone, Paolo 7 Simpson, Alex K. 6 Altintas, Ismet 6 Birman, Joan S. 6 Butz, Carsten 6 Crivei, Septimiu 6 Ernst, Claus 6 Herrlich, Horst 6 Heunen, Chris 6 Isbell, John Rolfe 6 Janelidze, Zurab 6 Nastasescu, Constantin 6 Prest, Mike 6 Ščedrov, Andrej 6 Sułkowski, Piotr 6 Zhang, Ruibin 5 Awodey, Steve 5 Baez, John C. 5 Bergman, George M. 5 Blass, Andreas Raphael 5 Bonchi, Filippo 5 Bunge, Marta Cavallo 5 Carboni, Aurelio 5 Di Liberti, Ivan 5 Ekholm, Tobias 5 Gukov, Sergei 5 Hetyei, Gábor 5 Heymans, Hans 5 Hyland, J. Martin E. 5 Jacobs, Bart 5 Krause, Henning 5 Lazaar, Sami 5 Leinster, Tom 5 Lipton, James B. 5 Mazorchuk, Volodymyr 5 Miemietz, Vanessa 5 Milius, Stefan 5 Millett, Kenneth C. 5 Moerdijk, Ieke 5 Niefield, Susan B. 5 Pérez, Esther 5 Pitts, Andrew M. 5 Posur, Sebastian 5 Rawdon, Eric J. 5 Saorín, Manuel 5 Scott, Dana Stewart 5 Singh, Vivek Kumar 5 Velebil, Jiří 5 Vitale, Enrico Maria 4 Abramsky, Samson 4 Backhouse, Roland C. 4 Benton, Nick 4 Berghammer, Rudolf 4 Bespalov, Yuri N. ...and 1,607 more Authors all top 5 Cited in 245 Serials 208 Journal of Pure and Applied Algebra 86 Journal of Knot Theory and its Ramifications 77 Journal of Algebra 70 Applied Categorical Structures 57 Theoretical Computer Science 43 Cahiers de Topologie et Géométrie Différentielle Catégoriques 43 Topology and its Applications 39 Advances in Mathematics 38 Annals of Pure and Applied Logic 38 Theory and Applications of Categories 36 Communications in Algebra 34 Transactions of the American Mathematical Society 26 Communications in Mathematical Physics 25 Algebra Universalis 25 Mathematische Zeitschrift 25 Journal of High Energy Physics 23 Mathematical Proceedings of the Cambridge Philosophical Society 22 Journal of Mathematical Physics 21 Proceedings of the American Mathematical Society 21 Journal of Logical and Algebraic Methods in Programming 18 Fuzzy Sets and Systems 17 Inventiones Mathematicae 17 Algebraic & Geometric Topology 14 Information and Computation 14 Mathematical Structures in Computer Science 14 Logical Methods in Computer Science 13 Nuclear Physics. B 12 The Journal of Symbolic Logic 12 Mathematische Annalen 12 Semigroup Forum 10 Manuscripta Mathematica 9 Letters in Mathematical Physics 9 Studia Logica 9 Algebras and Representation Theory 8 The Journal of Logic and Algebraic Programming 8 Journal of Algebra and its Applications 7 Bulletin of the Australian Mathematical Society 7 Quaestiones Mathematicae 7 Bulletin of the American Mathematical Society 7 Tbilisi Mathematical Journal 6 Theoretical and Mathematical Physics 6 Journal of Geometry and Physics 6 Bulletin of the American Mathematical Society. New Series 6 Selecta Mathematica. New Series 6 Journal of Mathematical Chemistry 6 Journal of Homotopy and Related Structures 5 Israel Journal of Mathematics 5 Compositio Mathematica 5 Duke Mathematical Journal 5 Information Sciences 5 Journal of Mathematical Sciences (New York) 5 The Bulletin of Symbolic Logic 5 Geometry & Topology 5 Journal of Physics A: Mathematical and Theoretical 5 Categories and General Algebraic Structures with Applications 4 International Journal of Modern Physics A 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 Experimental Mathematics 4 Journal of Functional Programming 4 Cahiers de Topologie et Géométrie Différentielle Catégoriques 4 Quantum Topology 3 Acta Mathematica Academiae Scientiarum Hungaricae 3 Discrete Applied Mathematics 3 Journal of Computational Physics 3 Journal of Statistical Physics 3 Archiv der Mathematik 3 Czechoslovak Mathematical Journal 3 Glasgow Mathematical Journal 3 Journal of the London Mathematical Society. Second Series 3 Journal of Soviet Mathematics 3 Memoirs of the American Mathematical Society 3 Osaka Journal of Mathematics 3 Pacific Journal of Mathematics 3 Order 3 Journal of Symbolic Computation 3 Journal of Automated Reasoning 3 Science in China. Series A 3 Expositiones Mathematicae 3 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 3 Topology Proceedings 3 Diagrammes 3 Documenta Mathematica 3 Communications in Contemporary Mathematics 3 Logica Universalis 3 Journal of Topology 3 Science China. Mathematics 2 International Journal of Theoretical Physics 2 Information Processing Letters 2 Journal of Mathematical Analysis and Applications 2 Mathematical Notes 2 Reports on Mathematical Physics 2 Rocky Mountain Journal of Mathematics 2 Russian Mathematical Surveys 2 Mathematics of Computation 2 Annales de l’Institut Fourier ...and 145 more Serials all top 5 Cited in 51 Fields 935 Category theory; homological algebra (18-XX) 428 Manifolds and cell complexes (57-XX) 297 Mathematical logic and foundations (03-XX) 270 Computer science (68-XX) 226 Associative rings and algebras (16-XX) 162 Group theory and generalizations (20-XX) 156 Quantum theory (81-XX) 104 Algebraic topology (55-XX) 95 Order, lattices, ordered algebraic structures (06-XX) 75 General algebraic systems (08-XX) 75 Nonassociative rings and algebras (17-XX) 75 General topology (54-XX) 63 Combinatorics (05-XX) 52 Algebraic geometry (14-XX) 32 Global analysis, analysis on manifolds (58-XX) 31 Functional analysis (46-XX) 29 Commutative algebra (13-XX) 19 Differential geometry (53-XX) 19 Statistical mechanics, structure of matter (82-XX) 17 Biology and other natural sciences (92-XX) 16 History and biography (01-XX) 16 Linear and multilinear algebra; matrix theory (15-XX) 16 \(K\)-theory (19-XX) 16 Topological groups, Lie groups (22-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Number theory (11-XX) 9 Convex and discrete geometry (52-XX) 9 Probability theory and stochastic processes (60-XX) 9 Relativity and gravitational theory (83-XX) 8 General and overarching topics; collections (00-XX) 8 Geometry (51-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Several complex variables and analytic spaces (32-XX) 6 Abstract harmonic analysis (43-XX) 5 Field theory and polynomials (12-XX) 5 Measure and integration (28-XX) 5 Information and communication theory, circuits (94-XX) 4 Operator theory (47-XX) 3 Statistics (62-XX) 3 Mechanics of particles and systems (70-XX) 2 Numerical analysis (65-XX) 2 Fluid mechanics (76-XX) 1 Real functions (26-XX) 1 Potential theory (31-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Mechanics of deformable solids (74-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.