العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolWILLIAM LAWVERE
(Redirected from Lawvere)
'Francis William Lawvere' is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
Lawvere completed his Ph.D. in mathematics at Columbia University in 1963, under the supervision of Samuel Eilenberg, a founder of category theory. He first taught at the University of Chicago, where he was a colleague of the other founder of category theory, Saunders Mac Lane. Lawvere then spent most of his career at University at Buffalo, where he is professor emeritus of mathematics and an adjunct professor emeritus of philosophy.
Lawvere first studied continuum mechanics with Clifford Truesdell, who concluded that he was "really more of a mathematician than [a] physicist" and sent him to Eilenberg. Lawvere would eventually return to continuum mechanics through the application of category theory ('Categorical Dynamics'), inspiring ongoing work in the field of synthetic differential geometry.
Lawvere and Myles Tierney developed the definition of an elementary topos, generalizing the concept of the Grothendieck topos, in 1969-70 (see background and genesis of topos theory).
★ 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
★ Homepage. Includes bibliography and downloadable papers, Ph.D. thesis.
★
★ Photograph
★ John Baez's This Week's Finds in Mathematical Physics (Week 200)
'Francis William Lawvere' is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
Lawvere completed his Ph.D. in mathematics at Columbia University in 1963, under the supervision of Samuel Eilenberg, a founder of category theory. He first taught at the University of Chicago, where he was a colleague of the other founder of category theory, Saunders Mac Lane. Lawvere then spent most of his career at University at Buffalo, where he is professor emeritus of mathematics and an adjunct professor emeritus of philosophy.
Lawvere first studied continuum mechanics with Clifford Truesdell, who concluded that he was "really more of a mathematician than [a] physicist" and sent him to Eilenberg. Lawvere would eventually return to continuum mechanics through the application of category theory ('Categorical Dynamics'), inspiring ongoing work in the field of synthetic differential geometry.
Lawvere and Myles Tierney developed the definition of an elementary topos, generalizing the concept of the Grothendieck topos, in 1969-70 (see background and genesis of topos theory).
| Contents |
| Selected books |
| External links |
Selected books
★ 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
★ Homepage. Includes bibliography and downloadable papers, Ph.D. thesis.
★
★ Photograph
★ John Baez's This Week's Finds in Mathematical Physics (Week 200)
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
