1. Functorial Semantics of Algebraic Theories, Proceedings of the National Academy of Science 50, No.
5 (November 1963), 869-872.
3. Algebraic Theories, Algebraic Categories, and Algebraic Functors, Theory of Models; North-Holland,
Amsterdam (1965), 413-418.
6. Some Algebraic Problems in the Context of Functorial Semantics of
Algebraic Theories, Springer Lecture
Notes in Mathematics No. 61, Springer-Verlag (1968), 41-61.
19. Review of P. M. Cohn's Universal Algebra, 2nd Edition, American Scientist (May-June 1982), p.
329.
42. with J. Adamek and J. Rosicky, How algebraic is algebra? Theory
and Applications of Categories (2001) 253-283 (electronic).
44. with J. Adamek and J. Rosicky: On the duality between varieties and
algebraic theories, Algebra Universalis, (2002) 35-49.
11. Quantifiers and Sheaves, Proceedings
of the International Congress on Mathematics, (Nice 1970),
Gauthier-Villars (1971) 329-334.
12. Introduction to the Proceedings of the Halifax Conference, Toposes,
Algebraic Geometry and Logic, Springer
Lecture Notes in Mathematics No. 274, Springer-Verlag (1972), 1-12
14. Continuously Variable Sets: Algebraic Geometry = Geometric Logic, Proceedings of the Logic Colloquium,
Bristol (1973), North Holland (1975), 135-157.
15. Introduction to Part I of Model Theory and Topoi, Springer Lecture Notes in Mathematics
No.445, Springer-Verlag (1975), 3-14.
16. Variable Quantities and Variable Structures in Topoi, Algebra, Topology and Category Theory,
A Collection in Honor of Samuel Eilenberg, Academic Press (1976), 101-131.
23. Categories of Spaces may not be Generalized Spaces, as Exemplified by
Directed Graphs, Revista Colombiana de
Matemáticas XX (1986), 179-185.
25. Qualitative Distinctions between some Toposes of Generalized Graphs, Proceedings of AMS Boulder 1987 Symposium on
Categories in Computer Science and Logic, Contemporary Mathematics 92
(1989), 261-299.
26. (with G. M. Kelly) On the Complete Lattice of Essential Localizations, Bulletin Société Mathématique de Belgique XLI
(1989), 289-319.
29. Intrinsic Co-Heyting Boundaries and the Leibniz Rule in Certain
Toposes, Category Theory,
Proceedings Como 1990. Springer Lecture Notes in Mathematics 1488, Springer-Verlag (1991) 279-281.
30. Some Thoughts on the Future of Category Theory, Category Theory, Proceedings Como
1990. Springer Lecture Notes in Mathematics 1488, Springer-Verlag (1991) 1-13.
33. Cohesive Toposes and Cantor's "lauter Einsen", Philosophia Mathematica, The Canadian
Society for History and Philosophy of Mathematics, Series III, Vol. 2 (1994),
5-15.
34. Theory of Mathematical Categories,
(1995) Encyclopedia article, publication delayed.
39. Categorie e Spazio: Un Profilo, Lettera
matematica PRISTEM 31: 35-50, Springer, Italy, 1999.
40. Comments on the Development of Topos Theory, Development of Mathematics 1950-2000,
Ed. by J-P Pier, Birkhauser Verlag, Basel, 2000.
9. Adjointness in Foundations, Dialectica
23 (1969), 281-296.
30. Some Thoughts on the Future of Category Theory, Category Theory, Proceedings Como
1990. Springer Lecture Notes in Mathematics 1488, Springer-Verlag (1991) 1-13.
31. Categories of Space and of Quantity,
International Symposium on Structures in Mathematical Theories (1990), San
Sebastian, Spain; The Space of Mathematics: Philosophical, Epistemological
and Historical Explorations, DeGruyter, Berlin (1992), 14-30.
32. Tools for the Advancement of Objective Logic: Closed Categories and
Toposes, J. Macnamara & G. E. Reyes
(Eds). The Logical Foundations of Cognition, Oxford University
Press (1994), 43-56.
33. Cohesive Toposes and Cantor's "lauter Einsen", Philosophia Mathematica, The Canadian
Society for History and Philosophy of Mathematics, Series III, Vol. 2 (1994),
5-15.
36. Unity and Identity of Opposites in Calculus and Physics, Proceedings of ECCT 1994 Tours Conference, Applied
Categorical Structures, 4: 167-174 Kluwer Academic Publishers, 1996.
38. Kinship and Mathematical Categories,
Language, Logic, and Conceptual Representation (in memory of John
Macnamara): 411-425, MIT Press 1999, Ed. P. Bloom, R. Jackendoff, and K. Wynn.
39. Categorie e Spazio: Un Profilo, Lettera
matematica PRISTEM 31: 35-50, Springer, Italy, 1999.
40. Comments on the Development of Topos Theory, Development of Mathematics 1950-2000,
Ed. by J-P Pier, Birkhauser Verlag, Basel, 2000.
45.Foundations and Applications: Axiomatization and Education, The
Bulletin of Symbolic Logic, vol. 9, Number 2, June 2003, 213-224.
4. Functorial Semantics of Elementary Theories, Journal of Symbolic Logic, Abstract, Vol. 31 (1966),
294-295.
7. Ordinal Sums and Equational Doctrines,
Springer Lecture Notes in Mathematics No. 80, Springer-Verlag
(1969), 141-155.
8. Diagonal Arguments and Cartesian Closed Categories, Springer Lecture Notes in Mathematics No. 92,
Springer-Verlag (1969), 134-145.
10. Equality in Hyperdoctrines and Comprehension Schema as an Adjoint
Functor, Proceedings of the American
Mathematical Society Symposium on Pure Mathematics XVII (1970),
1-14.
13. Metric Spaces, Generalized Logic and Closed Categories, Rendiconti del Seminario Matematico e Fisico di
Milano 43 (1973), 135-166.
15. Introduction to Part I of Model Theory and Topoi, Springer Lecture Notes in Mathematics
No.445, Springer-Verlag (1975), 3-14.
29. Intrinsic Co-Heyting Boundaries and the Leibniz Rule in Certain
Toposes, Category Theory,
Proceedings Como 1990. Springer Lecture Notes in Mathematics 1488, Springer-Verlag (1991) 279-281.
35. Adjoints in and among Bicategories,
Proceedings of the 1994 Siena Conference in Memory of Roberto Magari. Logic
& Algebra, Lecture Notes in Pure and Applied Algebra 180:
181-189, Ed. Ursini/Aglianò, Marcel Dekker, Inc. Basel, New York, 1996.
45.Foundations and Applications: Axiomatization and Education, The
Bulletin of Symbolic Logic, vol. 9, Number 2, June 2003, 213-224.
48. Left and Right Adjoint Operations on spaces and Data Types For
Dana Scott's Seventieth Birthday, Copenhagen 2002 (to appear)
17. Categorical Dynamics in
Proceedings of Aarhus May 1978 Open House on Topos Theoretic Methods in
Geometry (1979), Aarhus/Denmark.
18. Toward the Description in a Smooth Topos of the Dynamically Possible
Motions and Deformations of a Continuous Body,
Cahiers de Topologie et Géométrie Différentielle Catégorique XXI
(1980), 337-392.
20. State Categories, Closed Categories, and the Existence of
Semicontinuous Entropy Functions - IMA
Research Report #86, University of Minnesota (1986).
21. Functorial Remarks on the General Concept of Chaos - IMA Research Report #87, University
of Minnesota (1986).
22. Introduction to Categories in Continuum Physics, Springer Lecture Notes in Mathematics No. 1174,
Springer-Verlag (1986).
36. Unity and Identity of Opposites in Calculus and Physics, Proceedings of ECCT 1994 Tours Conference, Applied
Categorical Structures, 4: 167-174 Kluwer Academic Publishers, 1996.
41. Volterra's functionals and covariant cohesion of space, Supplemento ai Rendiconti del Circolo Matematico
di Palermo, Serie II, Numero
64, 2000, Ed. R. Betti and F.W. Lawvere.
43. Categorical algebra for continuum micro physics , Journal of Pure and Applied algebra
175 (2002) 267-287.
24. Taking Categories Seriously, Revista
Colombiana de Matemáticas XX (1986), 147-178.
34. Theory of Mathematical Categories,
(1995) Encyclopedia article, publication delayed.
36. Unity and Identity of Opposites in Calculus and Physics, Proceedings of ECCT 1994 Tours Conference, Applied
Categorical Structures, 4: 167-174 Kluwer Academic Publishers, 1996.
39. Categorie e Spazio: Un Profilo, Lettera
matematica PRISTEM 31: 35-50, Springer, Italy, 1999.
45.Foundations and Applications: Axiomatization and Education, The
Bulletin of Symbolic Logic, vol. 9, Number 2, June 2003, 213-224.
46. Concetti fondazionali espliciti nell'insegnamento della matematica, Interdisciplinary
Encounter on the Problem of Foundations of Mathematics, Nov 2001, Accademia di
Architettura, Lugano Switzerland. (to appear)
English version Explicit foundational concepts in the teaching of
mathematics (to appear)
25. Qualitative Distinctions between some Toposes of Generalized Graphs, Proceedings of AMS Boulder 1987 Symposium on
Categories in Computer Science and Logic, Contemporary Mathematics 92
(1989), 261-299.
27. Display of Graphics and their Applications, as Exemplified by
2-Categories and the Hegelian "Taco",
Proceedings of the First International Conference on Algebraic Methodology
and Software Technology, The University of Iowa, (1989).
28. More on Graphic Toposes,
Proceedings of the 1989 Bangor Category Theory Meeting, Cahiers de Topologie
et Géométrie Différentielle Catégorique XXXII - 1 (1991), 5-10.
48. Left and Right Adjoint Operations on spaces and Data Types For
Dana Scott's Seventieth Birthday, Copenhagen 2002 (to appear)
33. Cohesive Toposes and Cantor's "lauter Einsen", Philosophia Mathematica, The Canadian
Society for History and Philosophy of Mathematics, Series III, Vol. 2 (1994),
5-15.
37. Grassmann's Dialectics and Category Theory, Proceedings of the 1994 Conference to commemorate 150 years of
Grassmann's "Ausdehnungslehre", Hermann Günther Grassmann
(1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar, Boston
Studies in the Philosophy of Science, 187: 255-264, Editor Gert
Schubring, Kluwer Academic Publishers, 1996.
40. Comments on the Development of Topos Theory, Development of Mathematics 1950-2000,
Ed. by J-P Pier, Birkhauser Verlag, Basel, 2000.
41. Volterra's functionals and covariant cohesion of space, Supplemento ai Rendiconti del Circolo Matematico
di Palermo, Serie II, Numero
64, 2000, Ed. R. Betti and F.W. Lawvere.
47. Incontro con Ludovico Geymonat, anno 1977, (to appear in a book in honor of Ludovico Geymonat)
English version Encounter with Ludovico Geymonat in 1977 (to appear)
49. Essay review of: A new branch of
mathematics, "The Ausdehnungslehre of 1844", and other works by
Hermann Günther Grassmann, translated by Lloyd C. Kannenberg, with foreword by
Albert C. Lewis, Open Court Publishing Company, 1995.
and of: Extension Theory,
"The Ausdehnungslehre of 1862" by Hermann Günther Grassmann,
translated and with a foreword and notes by Lloyd C. Kannenberg, History of
Mathematics, 19, American Mathematical Society and London Mathematical Society,
2000.
(to appear in Historia Mathematica)
38. Kinship and Mathematical Categories,
Language, Logic, and Conceptual Representation (in memory of John
Macnamara): 411-425, MIT Press 1999, Ed. P. Bloom, R. Jackendoff, and K. Wynn.
HOME | Chronological list of publications | Top of subject list
wlawvere@acsu.buffalo.edu