William Lawvere
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2010) |
William Lawvere | |
|---|---|
| Born | February 9, 1937 |
| Nationality |  United States |
| Alma mater | Columbia University |
| Scientific career | |
| Fields | Mathematics |
| Institutions | SUNY-Buffalo |
| Doctoral advisor | Samuel Eilenberg |
| Doctoral students | Marta Bunge Emilio Faro-Rivas Anders Kock |
Francis William Lawvere (born February 9, 1937) is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
Biography
Lawvere studied continuum mechanics as an undergraduate with Clifford Truesdell. He learned of category theory while teaching a course on functional analysis for Truesdell, specifically from a problem in John L. Kelley's textbook General Topology where Kelley suggests the functorial approach "might be called the galactic theory" (p. 246) compared to the older ideas of local and global questions. Lawvere found it a promising framework for simple rigorous axioms for the physical ideas of Truesdell and Walter Noll. Truesdell, who had an appointment in mathematics himself, supported Lawvere's application to study more pure mathematics with Samuel Eilenberg, a founder of category theory, at Columbia University in 1960.
Before completing the Ph.D. Lawvere spent a year in Berkeley as an informal student of model theory and set theory, following lectures by Alfred Tarski and Dana Scott. In his first teaching position at Reed College he was instructed to devise courses in calculus and abstract algebra from a foundational perspective. He tried to use the then current axiomatic set theory but found it unworkable for undergraduates, so he instead developed the first axioms for the more relevant composition of mappings of sets. He later streamlined those axioms into the Elementary Theory of the Category of Sets (1964) which became a key ingredient (the constant case) of elementary topos theory.
Work
Lawvere completed his Ph.D at Columbia in 1963 with Eilenberg. His dissertation introduced the Category of Categories in his thesis as a framework for the semantics of algebraic theories. During 1964-1967 at the Forschungsinstitut fuer Mathematik at the ETH in Zurich he worked on the Category of Categories and was especially influenced by Pierre Gabriel's seminars at Oberwolfach on Grothendieck's foundation of algebraic geometry. He then taught at the University of Chicago, working with Mac Lane, and at the City University of New York Graduate Center (CUNY), working with Alex Heller. His Chicago lectures on categorical dynamics were a further step toward topos theory and his CUNY lectures on hyperdoctrines advanced categorical logic especially using his 1963 discovery that existential and universal quantifiers can be characterized as special cases of adjoint functors.
Back in Zurich for 1968-69 he proposed elementary (first-order) axioms for toposes generalizing the concept of the Grothendieck topos (see background and genesis of topos theory) and worked with the algebraic topologist Myles Tierney to clarifying and applying this theory. Tierney discovered major simplifications in the description of Grothendieck "topologies". Anders Kock later found further simplifications so that a topos can be described as a category with products and equalizers in which the notions of map space and subobject are representable. Lawvere had pointed out that a Grothendieck topology can be entirely described as an endomorphism of the subobject representor, and Tierney showed that the conditions it needs to satisfy are just idempotence and the preservation of finite intersections. These "topologies" are important in both algebraic geometry and model theory because they determine the subtoposes as sheaf-categories.
Dalhousie University in 1969 set up a group of 15 Killam-supported researchers with Lawvere at the head; but in 1971 it terminated the group. Lawvere was controversial for his political opinions, for example, his opposition to the 1970 use of the War Measures Act, and for teaching the history of mathematics without permission. But in 1995 Dalhousie hosted the celebration of 50 years of category theory with Lawvere and Saunders Mac Lane present.
Lawvere ran a seminar in Perugia, Italy (1972–1974) and especially worked on various kinds of enriched category. For example a metric space can be regarded as an enriched category. From 1974 until his retirement in 2000 he was professor of mathematics at University at Buffalo, often collaborating with Stephen Schanuel. In 1977 he was elected to the Martin professorship in mathematics for 5 years, which made possible the meeting on "Categories in Continuum Physics" in 1982. Clifford Truesdell participated in that meeting, as did several other researchers in the rational foundations of continuum physics and in the synthetic differential geometry which had evolved from the spatial part of Lawvere's categorical dynamics program). Lawvere continues to work on his 50-year quest for a rigorous flexible base for physical ideas, free of unnecessary analytic complications. He is now professor emeritus of mathematics and adjunct professor emeritus of philosophy at Buffalo.
Selected books
- 1986 Categories in Continuum Physics (Buffalo, N.Y. 1982), edited by Lawvere and Stephen H. Schanuel (with Introduction by Lawvere pp 1–16), Springer Lecture Notes in Mathematics 1174. ISBN 3-540-16096-5
- 1997 Conceptual Mathematics: A First Introduction to Categories (with Stephen H. Schanuel). Cambridge Uni. Press. ISBN 0-521-47817-0
- 2003 (2002) Sets for Mathematics (with Robert Rosebrugh). Cambridge Uni. Press. ISBN 0-521-01060-8
External links
- A recent interview published on the Bulletin of the International Center for Mathematics of Coimbra, Portugal (Part I , Part II)
- [1] Includes reprints of seven of Lawvere's fundamental articles, among them his dissertation and his first full treatment of the category of sets. Those two had circulated only as mimeographs.
- Homepage. Includes bibliography and downloadable papers, Ph.D. thesis.
- William Lawvere at the Mathematics Genealogy Project
- Photograph
- John Baez's This Week's Finds in Mathematical Physics (Week 200)