×

zbMATH — the first resource for mathematics

Freyd, Peter J.

Compute Distance To:
Author ID: freyd.peter-j Recent zbMATH articles by "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

Publications by Year

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

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.