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 582 Co-Co-Authors all top 5 Co-Authors 33 single-authored 4 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 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,706 times in 1,539 Documents Cited by ▼ Year ▼ A new polynomial invariant of knots and links. Zbl 0572.57002Freyd, P.; Yetter, D.; Hoste, J.; Lickorish, W. B. R.; Millett, K.; Ocneanu, A. 387 1985 Abelian categories. An introduction to the theory of functors. Zbl 0121.02103Freyd, P. 258 1964 Categories, allegories. Zbl 0698.18002Freyd, Peter J.; Scedrov, André 187 1990 Categories of continuous functors. I. Zbl 0257.18005Freyd, P. J.; Kelly, G. M. 153 1972 Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003Freyd, Peter J.; Yetter, David N. 120 1989 Aspects of topoi. Zbl 0252.18001Freyd, Peter 114 1972 Representations in Abelian categories. Zbl 0202.32402Freyd, P. 54 1966 Functorial polymorphism. Zbl 0717.18005Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J. 47 1990 Algebraically complete categories. Zbl 0815.18005Freyd, Peter 42 1991 Algebra valued functors in general and tensor products in particular. Zbl 0144.01003Freyd, P. 39 1966 Coherence theorems via knot theory. Zbl 0747.18010Freyd, Peter; Yetter, David N. 32 1992 Splitting homotopy idempotents. II. Zbl 0786.55008Freyd, Peter; Heller, Alex 25 1993 Remarks on algebraically compact categories. Zbl 0803.18002Freyd, Peter J. 22 1992 Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703Freyd, P. 18 1968 A categorical approach to realizability and polymorphic types. Zbl 0651.18004Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre 16 1988 Stable homotopy. Zbl 0195.52901Freyd, Peter 16 1966 Abelian categories. Zbl 1041.18001Freyd, Peter 15 2003 Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002Freyd, Peter 14 1972 The axiom of choice. Zbl 0446.03042Freyd, Peter 13 1980 Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006Freyd, Peter 13 1969 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 10 1992 Concreteness. Zbl 0277.18002Freyd, Peter J. 9 1973 Splitting homotopy idempotents. Zbl 0195.52902Freyd, Peter 8 1966 Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002Freyd, P. J.; Kelly, G. M. 8 1974 All topoi are localic or why permutation models prevail. Zbl 0611.18003Freyd, Peter 6 1987 Choice and well-ordering. Zbl 0625.03046Freyd, Peter 6 1987 Homotopy is not concrete. Zbl 0212.55801Freyd, P. 6 1970 On the size of categories. Zbl 0854.18003Freyd, Peter; Street, Ross 6 1995 Properties invariant within equivalence types of categories. Zbl 0342.18001Freyd, Peter 5 1976 Algebraic real analysis. Zbl 1160.03043Freyd, Peter 5 2008 Relative homological algebra made absolute. Zbl 0114.01403Freyd, P. 5 1963 Bireflectivity. Zbl 0952.18002Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R. 4 1999 The Grothendieck group for stable homotopy is free. Zbl 0153.25101Freyd, P. 4 1967 Dinaturality for free. Zbl 0783.18003Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe 4 1992 Stable homotopy. II. Zbl 0222.55020Freyd, Peter 4 1970 On the concreteness of certain categories. Zbl 0248.18008Freyd, Peter 4 1970 Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045Freyd, Peter; Friedman, Harvey; Scedrov, Andre 3 1987 A new framework for declarative programming. Zbl 1028.68023Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 3 2004 Core algebra revisited. Zbl 1118.18004Freyd, Peter 3 2007 Cartesian logic. Zbl 1004.03052Freyd, Peter 2 2002 Polynat in PER. Zbl 0674.03014Freyd, Peter 2 1989 Combinators. Zbl 0689.03007Freyd, Peter 2 1989 The theories of functors and models. Zbl 0192.03901Freyd, P. 2 1965 Fill-in theorems. Zbl 0201.35601Faber, Richard; Freyd, Peter 2 1966 Numerology in topoi. Zbl 1103.18002Freyd, Peter 2 2006 Homotopy is not concrete. Zbl 1057.18001Freyd, Peter 2 2004 Logic programming in tau categories. Zbl 1044.68538Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 2 1995 Structural polymorphism. Zbl 0812.18007Freyd, P. 1 1993 Samuel Eilenberg (1913-1998). Zbl 0908.01023Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders 1 1998 Algebraic real analysis. Zbl 1160.03043Freyd, Peter 5 2008 Core algebra revisited. Zbl 1118.18004Freyd, Peter 3 2007 Numerology in topoi. Zbl 1103.18002Freyd, Peter 2 2006 A new framework for declarative programming. Zbl 1028.68023Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 3 2004 Homotopy is not concrete. Zbl 1057.18001Freyd, Peter 2 2004 Abelian categories. Zbl 1041.18001Freyd, Peter 15 2003 Cartesian logic. Zbl 1004.03052Freyd, Peter 2 2002 Bireflectivity. Zbl 0952.18002Freyd, P. J.; O’Hearn, P. W.; Power, A. J.; Takeyama, M.; Street, R. 4 1999 Samuel Eilenberg (1913-1998). Zbl 0908.01023Bass, Hyman; Cartan, Henri; Freyd, Peter; Heller, Alex; MacLane, Saunders 1 1998 On the size of categories. Zbl 0854.18003Freyd, Peter; Street, Ross 6 1995 Logic programming in tau categories. Zbl 1044.68538Finkelstein, Stacy E.; Freyd, Peter; Lipton, James 2 1995 Splitting homotopy idempotents. II. Zbl 0786.55008Freyd, Peter; Heller, Alex 25 1993 Structural polymorphism. Zbl 0812.18007Freyd, P. 1 1993 Coherence theorems via knot theory. Zbl 0747.18010Freyd, Peter; Yetter, David N. 32 1992 Remarks on algebraically compact categories. Zbl 0803.18002Freyd, Peter J. 22 1992 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 10 1992 Dinaturality for free. Zbl 0783.18003Freyd, Peter J.; Robinson, Edmund P.; Rosolini, Giuseppe 4 1992 Algebraically complete categories. Zbl 0815.18005Freyd, Peter 42 1991 Categories, allegories. Zbl 0698.18002Freyd, Peter J.; Scedrov, André 187 1990 Functorial polymorphism. Zbl 0717.18005Bainbridge, E. S.; Freyd, P. J.; Scedrov, A.; Scott, P. J. 47 1990 Braided compact closed categories with applications to low dimensional topology. Zbl 0679.57003Freyd, Peter J.; Yetter, David N. 120 1989 Polynat in PER. Zbl 0674.03014Freyd, Peter 2 1989 Combinators. Zbl 0689.03007Freyd, Peter 2 1989 A categorical approach to realizability and polymorphic types. Zbl 0651.18004Carboni, Aurelio; Freyd, Peter J.; Scedrov, Andre 16 1988 All topoi are localic or why permutation models prevail. Zbl 0611.18003Freyd, Peter 6 1987 Choice and well-ordering. Zbl 0625.03046Freyd, Peter 6 1987 Lindenbaum algebras of intuitionistic theories and free categories. Zbl 0624.03045Freyd, Peter; Friedman, Harvey; Scedrov, Andre 3 1987 A new polynomial invariant of knots and links. Zbl 0572.57002Freyd, P.; Yetter, D.; Hoste, J.; Lickorish, W. B. R.; Millett, K.; Ocneanu, A. 387 1985 The axiom of choice. Zbl 0446.03042Freyd, Peter 13 1980 Properties invariant within equivalence types of categories. Zbl 0342.18001Freyd, Peter 5 1976 Erratum to ‘Categories of continuous functors. I’. Zbl 0278.18002Freyd, P. J.; Kelly, G. M. 8 1974 Concreteness. Zbl 0277.18002Freyd, Peter J. 9 1973 Categories of continuous functors. I. Zbl 0257.18005Freyd, P. J.; Kelly, G. M. 153 1972 Aspects of topoi. Zbl 0252.18001Freyd, Peter 114 1972 Aspects of topoi. Corrigenda and acknowledgements. Zbl 0252.18002Freyd, Peter 14 1972 Homotopy is not concrete. Zbl 0212.55801Freyd, P. 6 1970 Stable homotopy. II. Zbl 0222.55020Freyd, Peter 4 1970 On the concreteness of certain categories. Zbl 0248.18008Freyd, Peter 4 1970 Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories. Zbl 0225.18006Freyd, Peter 13 1969 Redei’s finiteness theorem for commutative semigroups. Zbl 0191.01703Freyd, P. 18 1968 The Grothendieck group for stable homotopy is free. Zbl 0153.25101Freyd, P. 4 1967 Representations in Abelian categories. Zbl 0202.32402Freyd, P. 54 1966 Algebra valued functors in general and tensor products in particular. Zbl 0144.01003Freyd, P. 39 1966 Stable homotopy. Zbl 0195.52901Freyd, Peter 16 1966 Splitting homotopy idempotents. Zbl 0195.52902Freyd, Peter 8 1966 Fill-in theorems. Zbl 0201.35601Faber, Richard; Freyd, Peter 2 1966 The theories of functors and models. Zbl 0192.03901Freyd, P. 2 1965 Abelian categories. An introduction to the theory of functors. Zbl 0121.02103Freyd, P. 258 1964 Relative homological algebra made absolute. Zbl 0114.01403Freyd, P. 5 1963 all cited Publications top 5 cited Publications all top 5 Cited by 1,464 Authors 22 Tholen, Walter 21 Stoimenow, Alexander 20 Morozov, Alexei Yurievich 17 Winter, Michael 16 Mironov, Andrei D. 15 Street, Ross H. 13 Adámek, Jiří 13 Johnstone, Peter T. 13 Przytycki, Józef Henryk 13 Rosický, Jiří 12 Kanenobu, Taizo 12 Kelly, Gregory Maxwell 12 Rosolini, Giuseppe 12 Rump, Wolfgang 11 Borceux, Francis 11 Garner, Richard 11 Kauffman, Louis Hirsch 11 Kawahara, Yasuo 11 Wang, Shuanhong 10 Scott, Philip J. 10 Takioka, Hideo 9 Freyd, Peter J. 9 Lack, Stephen 9 Sousa, Lurdes 8 Miyazawa, Yasuyuki 8 Yetter, David N. 7 Barr, Michael 7 Bourn, Dominique 7 Fiore, Marcelo P. 7 Grandis, Marco 7 Hofstra, Pieter J. W. 7 Lambek, Joachim 7 Majid, Shahn 7 Morozov, Andreĭ Alekseevich 7 Ramadevi, Pichai 7 Simpson, Alex K. 6 Birman, Joan S. 6 Butz, Carsten 6 Diao, Yuanan 6 Furusawa, Hitoshi 6 Herrlich, Horst 6 Heunen, Chris 6 Isbell, John Rolfe 6 Janelidze, Zurab 6 Jin, Xian’an 6 Kahl, Wolfram 6 Kucharski, Piotr 6 Nastasescu, Constantin 6 Oliveira, José Nuno 6 Pavlović, Duško 6 Pistone, Paolo 6 Zhang, Ruibin 5 Baez, John C. 5 Bergman, George M. 5 Blass, Andreas Raphael 5 Bonchi, Filippo 5 Bunge, Marta C. 5 Carboni, Aurelio 5 Gukov, Sergei 5 Guttmann, Walter 5 Heymans, Hans 5 Hyland, J. Martin E. 5 Jacobs, Bart 5 Johann, Patricia 5 Lazaar, Sami 5 Milius, Stefan 5 Millett, Kenneth C. 5 Niefield, Susan B. 5 Scedrov, Andre 5 Singh, Vivek Kumar 5 Sułkowski, Piotr 5 Velebil, Jiří 4 Altintas, Ismet 4 Anokhina, A. S. 4 Awodey, Steve 4 Backhouse, Roland C. 4 Berghammer, Rudolf 4 Bespalov, Yuri N. 4 Brin, Matthew G. 4 Casacuberta, Carles 4 Chorny, Boris 4 Dăuş, Leonard 4 de Freitas, Renata P. 4 Došen, Kosta 4 Eisermann, Michael 4 Ekholm, Tobias 4 Ernst, Claus 4 Ésik, Zoltán 4 Gould, Mark D. 4 Hetyei, Gábor 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 Leinster, Tom 4 Lickorish, William Bernard Raymond 4 Links, Jon Robert ...and 1,364 more Authors all top 5 Cited in 218 Serials 194 Journal of Pure and Applied Algebra 81 Journal of Knot Theory and its Ramifications 68 Journal of Algebra 60 Applied Categorical Structures 54 Theoretical Computer Science 43 Cahiers de Topologie et Géométrie Différentielle Catégoriques 42 Topology and its Applications 37 Advances in Mathematics 35 Communications in Algebra 33 Annals of Pure and Applied Logic 32 Transactions of the American Mathematical Society 26 Communications in Mathematical Physics 25 Algebra Universalis 24 Journal of High Energy Physics 23 Mathematische Zeitschrift 22 Journal of Mathematical Physics 22 Mathematical Proceedings of the Cambridge Philosophical Society 22 Theory and Applications of Categories 20 Proceedings of the American Mathematical Society 19 Journal of Logical and Algebraic Methods in Programming 17 Inventiones Mathematicae 17 Algebraic & Geometric Topology 14 Fuzzy Sets and Systems 14 MSCS. Mathematical Structures in Computer Science 13 Information and Computation 12 The Journal of Symbolic Logic 12 Semigroup Forum 11 Mathematische Annalen 11 Logical Methods in Computer Science 10 Manuscripta Mathematica 9 Studia Logica 8 Letters in Mathematical Physics 8 Algebras and Representation Theory 8 Journal of Algebra and its Applications 7 Bulletin of the Australian Mathematical Society 7 Nuclear Physics. B 7 Quaestiones Mathematicae 7 The Journal of Logic and Algebraic Programming 7 Bulletin of the American Mathematical Society 6 Theoretical and Mathematical Physics 6 Bulletin of the American Mathematical Society. New Series 6 Journal of Mathematical Chemistry 6 Tbilisi Mathematical Journal 5 Journal of Geometry and Physics 5 Compositio Mathematica 5 Duke Mathematical Journal 5 Journal of Mathematical Sciences (New York) 5 The Bulletin of Symbolic Logic 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 Experimental Mathematics 4 Journal of Functional Programming 4 Selecta Mathematica. New Series 4 Geometry & Topology 4 Cahiers de Topologie et Géométrie Différentielle Catégoriques 4 Journal of Physics A: Mathematical and Theoretical 4 Quantum Topology 4 Categories and General Algebraic Structures with Applications 3 International Journal of Modern Physics A 3 Acta Mathematica Academiae Scientiarum Hungaricae 3 Journal of Statistical Physics 3 Archiv der Mathematik 3 Czechoslovak Mathematical Journal 3 Glasgow Mathematical Journal 3 Information Sciences 3 Journal of the London Mathematical Society. Second Series 3 Journal of Soviet Mathematics 3 Osaka Journal of Mathematics 3 Pacific Journal of Mathematics 3 Order 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 2 Discrete Applied Mathematics 2 International Journal of Theoretical Physics 2 Information Processing Letters 2 Israel Journal of Mathematics 2 Journal of Computational Physics 2 Journal of Mathematical Analysis and Applications 2 Mathematical Notes 2 Rocky Mountain Journal of Mathematics 2 Russian Mathematical Surveys 2 Mathematics of Computation 2 Annales de l’Institut Fourier 2 Geometriae Dedicata 2 Publications Mathématiques 2 Mathematical Systems Theory 2 Memoirs of the American Mathematical Society 2 Nagoya Mathematical Journal 2 Notre Dame Journal of Formal Logic ...and 118 more Serials all top 5 Cited in 49 Fields 804 Category theory; homological algebra (18-XX) 391 Manifolds and cell complexes (57-XX) 246 Mathematical logic and foundations (03-XX) 215 Computer science (68-XX) 187 Associative rings and algebras (16-XX) 146 Group theory and generalizations (20-XX) 136 Quantum theory (81-XX) 90 Order, lattices, ordered algebraic structures (06-XX) 87 Algebraic topology (55-XX) 70 Nonassociative rings and algebras (17-XX) 70 General topology (54-XX) 69 General algebraic systems (08-XX) 56 Combinatorics (05-XX) 40 Algebraic geometry (14-XX) 31 Global analysis, analysis on manifolds (58-XX) 28 Functional analysis (46-XX) 27 Commutative algebra (13-XX) 16 History and biography (01-XX) 16 Differential geometry (53-XX) 15 Statistical mechanics, structure of matter (82-XX) 15 Biology and other natural sciences (92-XX) 13 Linear and multilinear algebra; matrix theory (15-XX) 13 \(K\)-theory (19-XX) 12 Topological groups, Lie groups (22-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 General and overarching topics; collections (00-XX) 8 Convex and discrete geometry (52-XX) 7 Number theory (11-XX) 7 Geometry (51-XX) 7 Probability theory and stochastic processes (60-XX) 7 Relativity and gravitational theory (83-XX) 6 Abstract harmonic analysis (43-XX) 5 Several complex variables and analytic spaces (32-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Field theory and polynomials (12-XX) 4 Measure and integration (28-XX) 4 Operator theory (47-XX) 4 Information and communication theory, circuits (94-XX) 3 Mechanics of particles and systems (70-XX) 2 Numerical analysis (65-XX) 1 Potential theory (31-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-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.