×

Lawvere, Francis William (b. 1937 d. 2023)

Author ID: lawvere.f-william Recent zbMATH articles by "Lawvere, Francis William"
Published as: Lawvere, F. William; Lawvere, F. W.; Lawvere, William
Further Spellings: Lawvere, Bill
Homepage: https://www.acsu.buffalo.edu/~wlawvere/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef
Documents Indexed: 60 Publications since 1963, including 4 Books
5 Contributions as Editor · 1 Further Contribution
Biographic References: 4 Publications
Co-Authors: 9 Co-Authors with 15 Joint Publications
178 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 1,493 times in 1,167 Documents Cited by Year
Functorial semantics of algebraic theories. Zbl 0119.25901
Lawvere, F. W.
390
1963
Metric spaces, generalized logic, and closed categories. Zbl 0335.18006
Lawvere, F. William
226
1974
Adjointness in foundations. Zbl 0341.18002
Lawvere, F. William
91
1969
An elementary theory of the category of sets. Zbl 0141.00603
Lawvere, F. W.
83
1964
Equality in hyperdoctrines and comprehension schema as an adjoint functor. Zbl 0234.18002
Lawvere, William
78
1970
Metric spaces, generalized logic and closed categories. Reprint. Zbl 1078.18501
Lawvere, F. William
57
2002
Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere. Zbl 1209.18001
Adámek, J.; Rosický, J.; Vitale, E. M.
53
2011
Functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories. Zbl 1062.18004
Lawvere, F. William
34
2004
Diagonal arguments and cartesian closed categories. Zbl 0218.18002
Lawvere, F. William
29
1969
Conceptual mathematics. A first introduction to categories. Zbl 0889.18001
Lawvere, F. William; Schanuel, Stephen H.
28
1997
Ordinal sums and equational doctrines. Zbl 0165.03204
Lawvere, F. W.
26
1969
Sets for mathematics. Zbl 1031.18001
Lawvere, F. William; Rosebrugh, Robert
26
2003
The category of categories as a foundation for mathematics. Zbl 0192.09702
Lawvere, F. W.
23
1966
Some algebraic problems in the context of functorial semantics of algebraic theories. Zbl 0204.33802
Lawvere, F. William
23
1968
Quantifiers and sheaves. Zbl 0261.18010
Lawvere, F. W.
22
1971
Categorical dynamics. Zbl 0403.18005
Lawvere, F. William
19
1979
Axiomatic cohesion. Zbl 1123.18001
Lawvere, F. William
19
2007
Some thoughts on the future of category theory. Zbl 0779.18001
Lawvere, F. William
18
1991
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body. Zbl 0472.18009
Lawvere, F. William
18
1980
Taking categories seriously. Zbl 0648.18001
Lawvere, F. W.
17
1986
Conceptual mathematics. A first introduction to categories. 2nd ed. Zbl 1179.18001
Lawvere, F. William; Schanuel, Stephen H.
17
2009
Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. Zbl 0745.18002
Lawvere, F. William
14
1991
Algebraic theories, algebraic categories, and algebraic functors. Zbl 0158.26401
Lawvere, F. W.
13
1965
On the complete lattice of essential localizations. Zbl 0686.18005
Kelly, G. M.; Lawvere, F. W.
13
1989
The Hopf algebra of Möbius intervals. Zbl 1236.18001
Lawvere, F. W.; Menni, M.
13
2010
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Zbl 1375.18017
Lawvere, F. W.; Menni, M.
12
2015
Cohesive toposes and Cantor’s ‘lauter Einsen’. Zbl 0801.18005
Lawvere, F. W.
12
1994
Qualitative distinctions between some toposes of generalized graphs. Zbl 0675.18003
Lawvere, F. William
12
1989
Variable quantities and variable structures in topoi. Zbl 0353.02043
Lawvere, F. William
11
1976
Continuously variable sets: algebraic geometry = geometric logic. Zbl 0364.18002
Lawvere, F. William
11
1975
How algebraic is algebra? Zbl 0978.18006
Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří
10
2001
Categories of space and of quantity. Zbl 0846.18001
Lawvere, F. William
9
1992
On the duality between varieties and algebraic theories. Zbl 1090.18004
Adámek, J.; Lawvere, F. W.; Rosický, J.
9
2003
An elementary theory of the category of sets (long version) with commentary. Zbl 1072.18005
Lawvere, F. William
8
2005
Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971. Zbl 0233.00005
8
1972
Introduction. Zbl 0249.18015
Lawvere, F. William
8
1972
Continuous categories revisited. Zbl 1018.18003
Adámek, J.; Lawvere, F. W.; Rosický, J.
8
2003
Diagonal arguments and Cartesian closed categories (with author commentary). Zbl 1089.18004
Lawvere, F. William
8
2006
Adjointness in foundations. Zbl 1114.18002
Lawvere, F. William
8
2006
Adjoints in and among bicategories. Zbl 0862.18002
Lawvere, F. William
7
1996
Categories of spaces may not be generalized spaces as exemplified by directed graphs. Zbl 0648.18004
Lawvere, F. William
7
1986
Unity and identity of opposites in calculus and physics. Zbl 0858.18002
Lawvere, F. William
6
1996
More on graphic toposes. Zbl 0759.18004
Lawvere, F. William
5
1991
Linearization of graphic toposes via Coxeter groups. Zbl 0992.18002
Lawvere, F. William
5
2002
Core varieties, extensivity, and rig geometry. Zbl 1210.18012
Lawvere, F. William
4
2008
Volterra’s functionals and covariant cohesion of space. Zbl 0979.01014
Lawvere, F. William
3
2000
Model theory and topoi. A collection of lectures by various authors. Zbl 0299.00014
3
1975
Taking categories seriously. Zbl 1072.18001
Lawvere, F. William
3
2005
Categories of spaces may not be generalized spaces as exemplified by directed graphs. Zbl 1177.18003
Lawvere, F. William
3
2005
Conceptual mathematics. A first introduction to categories. With the assistance of Emilio Faro, Fatima Fenaroli and Danilo Lawvere. Zbl 0889.18002
Lawvere, F. William; Schanuel, Stephen H.
3
1991
Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982. Zbl 0581.00020
2
1986
Euler’s continuum functorially vindicated. Zbl 1251.03098
Lawvere, F. William
2
2011
Introduction to part I. Zbl 0353.18006
Lawvere, F. William
2
1975
Birkhoff’s theorem from a geometric perspective: a simple example. Zbl 1468.18005
Lawvere, F. William
1
2016
Everyday physics of extended bodies or why functionals need analyzing. Zbl 1388.18008
Lawvere, F. William
1
2017
Comments on the development of topos theory. Zbl 0969.18003
Lawvere, F. William
1
2000
Left and right adjoint operations on spaces and data types. Zbl 1046.18001
Lawvere, F. William
1
2004
Functorial concepts of complexity for finite automata. Zbl 1062.18001
Lawvere, F. William
1
2004
Foundations and applications: axiomatization and education. Zbl 1058.03080
Lawvere, F. William
1
2003
Categorical algebra for continuum micro physics. Zbl 1014.18002
Lawvere, F. William
1
2002
Everyday physics of extended bodies or why functionals need analyzing. Zbl 1388.18008
Lawvere, F. William
1
2017
Birkhoff’s theorem from a geometric perspective: a simple example. Zbl 1468.18005
Lawvere, F. William
1
2016
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Zbl 1375.18017
Lawvere, F. W.; Menni, M.
12
2015
Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere. Zbl 1209.18001
Adámek, J.; Rosický, J.; Vitale, E. M.
53
2011
Euler’s continuum functorially vindicated. Zbl 1251.03098
Lawvere, F. William
2
2011
The Hopf algebra of Möbius intervals. Zbl 1236.18001
Lawvere, F. W.; Menni, M.
13
2010
Conceptual mathematics. A first introduction to categories. 2nd ed. Zbl 1179.18001
Lawvere, F. William; Schanuel, Stephen H.
17
2009
Core varieties, extensivity, and rig geometry. Zbl 1210.18012
Lawvere, F. William
4
2008
Axiomatic cohesion. Zbl 1123.18001
Lawvere, F. William
19
2007
Diagonal arguments and Cartesian closed categories (with author commentary). Zbl 1089.18004
Lawvere, F. William
8
2006
Adjointness in foundations. Zbl 1114.18002
Lawvere, F. William
8
2006
An elementary theory of the category of sets (long version) with commentary. Zbl 1072.18005
Lawvere, F. William
8
2005
Taking categories seriously. Zbl 1072.18001
Lawvere, F. William
3
2005
Categories of spaces may not be generalized spaces as exemplified by directed graphs. Zbl 1177.18003
Lawvere, F. William
3
2005
Functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories. Zbl 1062.18004
Lawvere, F. William
34
2004
Left and right adjoint operations on spaces and data types. Zbl 1046.18001
Lawvere, F. William
1
2004
Functorial concepts of complexity for finite automata. Zbl 1062.18001
Lawvere, F. William
1
2004
Sets for mathematics. Zbl 1031.18001
Lawvere, F. William; Rosebrugh, Robert
26
2003
On the duality between varieties and algebraic theories. Zbl 1090.18004
Adámek, J.; Lawvere, F. W.; Rosický, J.
9
2003
Continuous categories revisited. Zbl 1018.18003
Adámek, J.; Lawvere, F. W.; Rosický, J.
8
2003
Foundations and applications: axiomatization and education. Zbl 1058.03080
Lawvere, F. William
1
2003
Metric spaces, generalized logic and closed categories. Reprint. Zbl 1078.18501
Lawvere, F. William
57
2002
Linearization of graphic toposes via Coxeter groups. Zbl 0992.18002
Lawvere, F. William
5
2002
Categorical algebra for continuum micro physics. Zbl 1014.18002
Lawvere, F. William
1
2002
How algebraic is algebra? Zbl 0978.18006
Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří
10
2001
Volterra’s functionals and covariant cohesion of space. Zbl 0979.01014
Lawvere, F. William
3
2000
Comments on the development of topos theory. Zbl 0969.18003
Lawvere, F. William
1
2000
Conceptual mathematics. A first introduction to categories. Zbl 0889.18001
Lawvere, F. William; Schanuel, Stephen H.
28
1997
Adjoints in and among bicategories. Zbl 0862.18002
Lawvere, F. William
7
1996
Unity and identity of opposites in calculus and physics. Zbl 0858.18002
Lawvere, F. William
6
1996
Cohesive toposes and Cantor’s ‘lauter Einsen’. Zbl 0801.18005
Lawvere, F. W.
12
1994
Categories of space and of quantity. Zbl 0846.18001
Lawvere, F. William
9
1992
Some thoughts on the future of category theory. Zbl 0779.18001
Lawvere, F. William
18
1991
Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. Zbl 0745.18002
Lawvere, F. William
14
1991
More on graphic toposes. Zbl 0759.18004
Lawvere, F. William
5
1991
Conceptual mathematics. A first introduction to categories. With the assistance of Emilio Faro, Fatima Fenaroli and Danilo Lawvere. Zbl 0889.18002
Lawvere, F. William; Schanuel, Stephen H.
3
1991
On the complete lattice of essential localizations. Zbl 0686.18005
Kelly, G. M.; Lawvere, F. W.
13
1989
Qualitative distinctions between some toposes of generalized graphs. Zbl 0675.18003
Lawvere, F. William
12
1989
Taking categories seriously. Zbl 0648.18001
Lawvere, F. W.
17
1986
Categories of spaces may not be generalized spaces as exemplified by directed graphs. Zbl 0648.18004
Lawvere, F. William
7
1986
Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982. Zbl 0581.00020
2
1986
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body. Zbl 0472.18009
Lawvere, F. William
18
1980
Categorical dynamics. Zbl 0403.18005
Lawvere, F. William
19
1979
Variable quantities and variable structures in topoi. Zbl 0353.02043
Lawvere, F. William
11
1976
Continuously variable sets: algebraic geometry = geometric logic. Zbl 0364.18002
Lawvere, F. William
11
1975
Model theory and topoi. A collection of lectures by various authors. Zbl 0299.00014
3
1975
Introduction to part I. Zbl 0353.18006
Lawvere, F. William
2
1975
Metric spaces, generalized logic, and closed categories. Zbl 0335.18006
Lawvere, F. William
226
1974
Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971. Zbl 0233.00005
8
1972
Introduction. Zbl 0249.18015
Lawvere, F. William
8
1972
Quantifiers and sheaves. Zbl 0261.18010
Lawvere, F. W.
22
1971
Equality in hyperdoctrines and comprehension schema as an adjoint functor. Zbl 0234.18002
Lawvere, William
78
1970
Adjointness in foundations. Zbl 0341.18002
Lawvere, F. William
91
1969
Diagonal arguments and cartesian closed categories. Zbl 0218.18002
Lawvere, F. William
29
1969
Ordinal sums and equational doctrines. Zbl 0165.03204
Lawvere, F. W.
26
1969
Some algebraic problems in the context of functorial semantics of algebraic theories. Zbl 0204.33802
Lawvere, F. William
23
1968
The category of categories as a foundation for mathematics. Zbl 0192.09702
Lawvere, F. W.
23
1966
Algebraic theories, algebraic categories, and algebraic functors. Zbl 0158.26401
Lawvere, F. W.
13
1965
An elementary theory of the category of sets. Zbl 0141.00603
Lawvere, F. W.
83
1964
Functorial semantics of algebraic theories. Zbl 0119.25901
Lawvere, F. W.
390
1963
all top 5

Cited by 937 Authors

24 Hofmann, Dirk
22 Zhang, Dexue
20 Lai, Hongliang
20 Street, Ross H.
18 Tholen, Walter
16 Bunge, Marta C.
16 Ésik, Zoltán
15 Clementino, Maria Manuel
14 Menni, Matías
14 Rosický, Jiří
13 Carboni, Aurelio
13 Lack, Stephen
13 Shen, Lili
12 Adámek, Jiří
12 Borceux, Francis
12 Došen, Kosta
12 Meseguer Guaita, José
11 Bloom, Stephen L.
11 Rosenthal, Kimmo I.
10 Garner, Richard
10 Lambek, Joachim
10 Montanari, Ugo G.
10 Power, John
10 Trnková, Věra
10 Walters, Robert F. C.
9 Kelly, Gregory Maxwell
9 Reyes, Gonzalo E.
9 Zafiris, Elias
8 Fiore, Marcelo P.
8 Höhle, Ulrich
8 Kock, Joachim
8 Rosolini, Giuseppe
8 Wood, Richard J.
7 Diers, Yves
7 Gadducci, Fabio
7 Goguen, Joseph Amadee
7 Grandis, Marco
7 Hyland, J. Martin E.
7 Jacobs, Bart
7 Kock, Anders Jungersen
7 Lucyshyn-Wright, Rory B. B.
7 Petrić, Zoran
7 Schröder, Lutz
7 Shulman, Michael A.
7 Stubbe, Isar
7 Vitale, Enrico Maria
6 Awodey, Steve
6 Betti, Renato
6 Corradini, Andrea
6 Jäger, Gunther
6 Kasangian, Stefano
6 Kerkhoff, Sebastian
6 Kurz, Alexander
6 Lawvere, Francis William
6 Leinster, Tom
6 Pasquali, Fabio
6 Solovyov, Sergey A.
5 Abramsky, Samson
5 Denecke, Klaus Dieter
5 Ellerman, David P.
5 Emmenegger, Jacopo
5 Galán, M. Ángeles
5 Goncharov, Sergeĭ Savost’yanovich
5 Guitart, René
5 Isbell, John Rolfe
5 Johnstone, Peter T.
5 Labella, Anna
5 Maietti, Maria Emilia
5 Nora, Pedro
5 Paré, Robert
5 Pavlović, Duško
5 Rosebrugh, Robert D.
5 Trotta, Davide
5 Velebil, Jiří
5 Zhao, Bin
4 Barr, Michael
4 Berger, Clemens
4 Birkedal, Lars
4 Blanc, David Abraham
4 Bruni, Roberto
4 Eklund, Patrik E.
4 Elgot, Calvin C.
4 Fritz, Tobias
4 Funk, Jonathon R.
4 Gálvez-Carrillo, Imma
4 Gambino, Nicola
4 Ghani, Neil
4 Hermida, Claudio
4 Heymans, Hans
4 Janelidze, Zurab
4 Kahl, Wolfram
4 Katz, Mikhail G.
4 Lindner, Harald
4 Manes, Ernest G.
4 Mannone, Maria
4 Marmolejo, Francisco
4 Mulry, Philip S.
4 Niefield, Susan B.
4 Nishimura, Hirokazu
4 Oriat, Catherine
...and 837 more Authors
all top 5

Cited in 159 Serials

167 Journal of Pure and Applied Algebra
65 Applied Categorical Structures
62 Theoretical Computer Science
59 Fuzzy Sets and Systems
52 Cahiers de Topologie et Géométrie Différentielle Catégoriques
40 Theory and Applications of Categories
38 Advances in Mathematics
37 MSCS. Mathematical Structures in Computer Science
31 Topology and its Applications
29 Annals of Pure and Applied Logic
24 Journal of Algebra
23 Algebra Universalis
17 Synthese
15 Journal of Computer and System Sciences
14 The Journal of Symbolic Logic
14 Information and Computation
12 Logical Methods in Computer Science
11 Tbilisi Mathematical Journal
11 The Review of Symbolic Logic
10 Studia Logica
9 Mathematische Zeitschrift
9 Diagrammes
9 Logica Universalis
8 Journal of Philosophical Logic
8 Transactions of the American Mathematical Society
8 The Bulletin of Symbolic Logic
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
6 Communications in Algebra
6 International Journal of General Systems
6 International Journal of Theoretical Physics
6 Archiv der Mathematik
5 Applied Mathematics and Computation
5 Manuscripta Mathematica
5 Foundations of Science
5 Algebraic & Geometric Topology
4 Journal of Mathematical Physics
4 Proceedings of the American Mathematical Society
4 Siberian Mathematical Journal
4 History and Philosophy of Logic
4 Archive for Mathematical Logic
4 Bulletin of the American Mathematical Society
3 Journal of Geometry and Physics
3 Mathematische Annalen
3 Mathematical Systems Theory
3 Quaestiones Mathematicae
3 Semigroup Forum
3 Journal of Symbolic Computation
3 Bulletin of the American Mathematical Society. New Series
3 Journal of Applied Non-Classical Logics
3 Journal of Mathematical Sciences (New York)
3 Selecta Mathematica. New Series
3 The Journal of Logic and Algebraic Programming
3 Central European Journal of Mathematics
3 Journal of Algebra and its Applications
3 Foundations of Physics
3 Journal of Mathematics and Music
3 Journal of Homotopy and Related Structures
3 Journal of Logical and Algebraic Methods in Programming
3 Higher Structures
2 Communications in Mathematical Physics
2 Discrete Mathematics
2 Journal of Mathematical Analysis and Applications
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Periodica Mathematica Hungarica
2 Bulletin of Mathematical Biology
2 Information Sciences
2 Journal of Geometry
2 Kybernetika
2 Mathematica Slovaca
2 Memoirs of the American Mathematical Society
2 Rendiconti del Seminario Matemàtico e Fisico di Milano
2 Advances in Applied Mathematics
2 Indagationes Mathematicae. New Series
2 Topology Proceedings
2 St. Petersburg Mathematical Journal
2 Annals of Mathematics and Artificial Intelligence
2 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics
2 Logic and Logical Philosophy
2 Journal of Applied Logic
2 Armenian Journal of Mathematics
2 Applied General Topology
2 Formalized Mathematics
2 Axiomathes
1 International Journal of Modern Physics A
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 Archive for History of Exact Sciences
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Bulletin of the Australian Mathematical Society
1 Discrete Applied Mathematics
1 Letters in Mathematical Physics
1 Chaos, Solitons and Fractals
1 The Mathematical Intelligencer
1 Fortschritte der Physik
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Automatica
1 Commentationes Mathematicae Universitatis Carolinae
1 Computing
1 Czechoslovak Mathematical Journal
1 Duke Mathematical Journal
...and 59 more Serials
all top 5

Cited in 49 Fields

799 Category theory; homological algebra (18-XX)
374 Mathematical logic and foundations (03-XX)
257 Computer science (68-XX)
154 Order, lattices, ordered algebraic structures (06-XX)
128 General topology (54-XX)
109 General algebraic systems (08-XX)
71 Algebraic topology (55-XX)
46 Associative rings and algebras (16-XX)
41 Quantum theory (81-XX)
39 Group theory and generalizations (20-XX)
36 General and overarching topics; collections (00-XX)
24 Combinatorics (05-XX)
21 Functional analysis (46-XX)
20 History and biography (01-XX)
20 Algebraic geometry (14-XX)
19 Geometry (51-XX)
13 Commutative algebra (13-XX)
13 Manifolds and cell complexes (57-XX)
13 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 Nonassociative rings and algebras (17-XX)
11 Global analysis, analysis on manifolds (58-XX)
11 Biology and other natural sciences (92-XX)
10 Differential geometry (53-XX)
9 Systems theory; control (93-XX)
9 Information and communication theory, circuits (94-XX)
7 Real functions (26-XX)
7 Measure and integration (28-XX)
7 Convex and discrete geometry (52-XX)
5 Field theory and polynomials (12-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 Number theory (11-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Probability theory and stochastic processes (60-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
3 Statistics (62-XX)
3 Relativity and gravitational theory (83-XX)
2 \(K\)-theory (19-XX)
2 Topological groups, Lie groups (22-XX)
2 Functions of a complex variable (30-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Partial differential equations (35-XX)
2 Mechanics of deformable solids (74-XX)
2 Operations research, mathematical programming (90-XX)
1 Potential theory (31-XX)
1 Ordinary differential equations (34-XX)
1 Sequences, series, summability (40-XX)
1 Abstract harmonic analysis (43-XX)
1 Numerical analysis (65-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

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