×

Lawvere, Francis William

Compute Distance To:
Author ID: lawvere.f-william Recent zbMATH articles by "Lawvere, Francis William"
Published as: Lawvere, F. William; Lawvere, F. W.; Lawvere, William
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 60 Publications since 1963, including 4 Books
5 Contributions as Editor · 1 Further Contribution
Biographic References: 3 Publications
Co-Authors: 9 Co-Authors with 15 Joint Publications
178 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 1,345 times in 1,046 Documents Cited by Year
Functorial semantics of algebraic theories. Zbl 0119.25901
Lawvere, F. W.
340
1963
Metric spaces, generalized logic, and closed categories. Zbl 0335.18006
Lawvere, F. William
194
1974
Adjointness in foundations. Zbl 0341.18002
Lawvere, F. William
83
1969
An elementary theory of the category of sets. Zbl 0141.00603
Lawvere, F. W.
78
1964
Equality in hyperdoctrines and comprehension schema as an adjoint functor. Zbl 0234.18002
Lawvere, William
67
1970
Metric spaces, generalized logic and closed categories. Reprint. Zbl 1078.18501
Lawvere, F. William
48
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.
39
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
28
2004
Conceptual mathematics. A first introduction to categories. Zbl 0889.18001
Lawvere, F. William; Schanuel, Stephen H.
24
1997
Ordinal sums and equational doctrines. Zbl 0165.03204
Lawvere, F. W.
23
1969
Some algebraic problems in the context of functorial semantics of algebraic theories. Zbl 0204.33802
Lawvere, F. William
23
1968
Diagonal arguments and cartesian closed categories. Zbl 0218.18002
Lawvere, F. William
23
1969
The category of categories as a foundation for mathematics. Zbl 0192.09702
Lawvere, F. W.
21
1966
Sets for mathematics. Zbl 1031.18001
Lawvere, F. William; Rosebrugh, Robert
20
2003
Quantifiers and sheaves. Zbl 0261.18010
Lawvere, F. W.
19
1971
Taking categories seriously. Zbl 0648.18001
Lawvere, F. W.
17
1986
Some thoughts on the future of category theory. Zbl 0779.18001
Lawvere, F. William
16
1991
Conceptual mathematics. A first introduction to categories. 2nd ed. Zbl 1179.18001
Lawvere, F. William; Schanuel, Stephen H.
16
2009
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body. Zbl 0472.18009
Lawvere, F. William
15
1980
Categorical dynamics. Zbl 0403.18005
Lawvere, F. William
15
1979
Axiomatic cohesion. Zbl 1123.18001
Lawvere, F. William
14
2007
Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. Zbl 0745.18002
Lawvere, F. William
13
1991
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
Cohesive toposes and Cantor’s ‘lauter Einsen’. Zbl 0801.18005
Lawvere, F. W.
12
1994
Algebraic theories, algebraic categories, and algebraic functors. Zbl 0158.26401
Lawvere, F. W.
11
1965
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Zbl 1375.18017
Lawvere, F. W.; Menni, M.
11
2015
Qualitative distinctions between some toposes of generalized graphs. Zbl 0675.18003
Lawvere, F. William
10
1989
Variable quantities and variable structures in topoi. Zbl 0353.02043
Lawvere, F. William
10
1976
Categories of space and of quantity. Zbl 0846.18001
Lawvere, F. William
9
1992
How algebraic is algebra? Zbl 0978.18006
Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří
9
2001
On the duality between varieties and algebraic theories. Zbl 1090.18004
Adámek, J.; Lawvere, F. W.; Rosický, J.
9
2003
Continuously variable sets: algebraic geometry = geometric logic. Zbl 0364.18002
Lawvere, F. William
9
1975
Categories of spaces may not be generalized spaces as exemplified by directed graphs. Zbl 0648.18004
Lawvere, F. William
7
1986
Diagonal arguments and Cartesian closed categories (with author commentary). Zbl 1089.18004
Lawvere, F. William
7
2006
Continuous categories revisited. Zbl 1018.18003
Adámek, J.; Lawvere, F. W.; Rosický, J.
7
2003
Adjoints in and among bicategories. Zbl 0862.18002
Lawvere, F. William
7
1996
An elementary theory of the category of sets (long version) with commentary. Zbl 1072.18005
Lawvere, F. William
7
2005
Introduction. Zbl 0249.18015
Lawvere, F. William
7
1972
Unity and identity of opposites in calculus and physics. Zbl 0858.18002
Lawvere, F. William
6
1996
Linearization of graphic toposes via Coxeter groups. Zbl 0992.18002
Lawvere, F. William
5
2002
More on graphic toposes. Zbl 0759.18004
Lawvere, F. William
5
1991
Adjointness in foundations. Zbl 1114.18002
Lawvere, F. William
5
2006
Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971. Zbl 0233.00005
4
1972
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
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
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
2
2005
Introduction to part I. Zbl 0353.18006
Lawvere, F. William
2
1975
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
Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982. Zbl 0581.00020
1
1986
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
Model theory and topoi. A collection of lectures by various authors. Zbl 0299.00014
1
1975
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.
11
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.
39
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.
16
2009
Core varieties, extensivity, and rig geometry. Zbl 1210.18012
Lawvere, F. William
4
2008
Axiomatic cohesion. Zbl 1123.18001
Lawvere, F. William
14
2007
Diagonal arguments and Cartesian closed categories (with author commentary). Zbl 1089.18004
Lawvere, F. William
7
2006
Adjointness in foundations. Zbl 1114.18002
Lawvere, F. William
5
2006
An elementary theory of the category of sets (long version) with commentary. Zbl 1072.18005
Lawvere, F. William
7
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
2
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
28
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
20
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.
7
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
48
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ří
9
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.
24
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
16
1991
Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. Zbl 0745.18002
Lawvere, F. William
13
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
10
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
1
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
15
1980
Categorical dynamics. Zbl 0403.18005
Lawvere, F. William
15
1979
Variable quantities and variable structures in topoi. Zbl 0353.02043
Lawvere, F. William
10
1976
Continuously variable sets: algebraic geometry = geometric logic. Zbl 0364.18002
Lawvere, F. William
9
1975
Introduction to part I. Zbl 0353.18006
Lawvere, F. William
2
1975
Model theory and topoi. A collection of lectures by various authors. Zbl 0299.00014
1
1975
Metric spaces, generalized logic, and closed categories. Zbl 0335.18006
Lawvere, F. William
194
1974
Introduction. Zbl 0249.18015
Lawvere, F. William
7
1972
Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971. Zbl 0233.00005
4
1972
Quantifiers and sheaves. Zbl 0261.18010
Lawvere, F. W.
19
1971
Equality in hyperdoctrines and comprehension schema as an adjoint functor. Zbl 0234.18002
Lawvere, William
67
1970
Adjointness in foundations. Zbl 0341.18002
Lawvere, F. William
83
1969
Ordinal sums and equational doctrines. Zbl 0165.03204
Lawvere, F. W.
23
1969
Diagonal arguments and cartesian closed categories. Zbl 0218.18002
Lawvere, F. William
23
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.
21
1966
Algebraic theories, algebraic categories, and algebraic functors. Zbl 0158.26401
Lawvere, F. W.
11
1965
An elementary theory of the category of sets. Zbl 0141.00603
Lawvere, F. W.
78
1964
Functorial semantics of algebraic theories. Zbl 0119.25901
Lawvere, F. W.
340
1963
all top 5

Cited by 844 Authors

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

Cited in 151 Serials

159 Journal of Pure and Applied Algebra
60 Theoretical Computer Science
53 Fuzzy Sets and Systems
53 Applied Categorical Structures
52 Cahiers de Topologie et Géométrie Différentielle Catégoriques
36 Advances in Mathematics
33 MSCS. Mathematical Structures in Computer Science
31 Topology and its Applications
31 Theory and Applications of Categories
27 Annals of Pure and Applied Logic
24 Journal of Algebra
22 Algebra Universalis
16 Synthese
15 Journal of Computer and System Sciences
13 Information and Computation
12 The Journal of Symbolic Logic
10 Studia Logica
10 The Review of Symbolic Logic
9 Diagrammes
9 Tbilisi Mathematical Journal
8 Mathematische Zeitschrift
8 Transactions of the American Mathematical Society
8 Logica Universalis
8 Logical Methods in Computer Science
7 Journal of Philosophical 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 Applied Mathematics and Computation
6 Archiv der Mathematik
6 The Bulletin of Symbolic Logic
5 Manuscripta Mathematica
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 Foundations of Science
4 Algebraic & Geometric Topology
4 Bulletin of the American Mathematical Society
3 Mathematische Annalen
3 Mathematical Systems Theory
3 Semigroup Forum
3 Journal of Symbolic Computation
3 Journal of Mathematical Sciences (New York)
3 Selecta Mathematica. New Series
3 The Journal of Logic and Algebraic Programming
3 Journal of Algebra and its Applications
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 Periodica Mathematica Hungarica
2 Bulletin of Mathematical Biology
2 Journal of Geometry and Physics
2 The Mathematical Intelligencer
2 Information Sciences
2 Journal of Geometry
2 Kybernetika
2 Mathematica Slovaca
2 Memoirs of the American Mathematical Society
2 Quaestiones Mathematicae
2 Rendiconti del Seminario Matemàtico e Fisico di Milano
2 Advances in Applied Mathematics
2 Bulletin of the American Mathematical Society. New Series
2 Journal of Applied Non-Classical Logics
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 Central European Journal of Mathematics
2 Foundations of Physics
2 Armenian Journal of Mathematics
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 Mathematical Proceedings of the Cambridge Philosophical Society
1 Chaos, Solitons and Fractals
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
1 Geometriae Dedicata
1 Glasgow Mathematical Journal
1 Inventiones Mathematicae
1 Matematički Vesnik
...and 51 more Serials
all top 5

Cited in 48 Fields

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