William Lawvere

Francis William Lawvere, named William Lawvere ( born February 9, 1937 in Muncie, Indiana) is an American mathematician who deals with category theory and algebra. He is next to Alexander Grothendieck topos - founder of the theory.

Life

Lawvere studied at Indiana University (Bachelor 1960) and in 1963 at Columbia University with Samuel Eilenberg doctorate ( Functorial semantics of algebraic theories ). In his thesis, he introduced the concept of category of categories. Previously, he spent a year studying at the University of California, Berkeley, in Alfred Tarski and Dana Scott model theory and axiomatic set theory. 1962/63 he was a systems analyst for Litton Industries and 1963/64, an assistant professor at Reed College in Portland (Oregon ). 1964 to 1967 he was at the ETH Zurich. During this time he also came across a lecture by Pierre Gabriel at the Mathematical Research Institute Oberwolfach with the abstract concepts of algebraic geometry by Alexander Grothendieck in touch. In 1966 he became an Assistant Professor at the University of Chicago with Saunders MacLane. In 1968/69 he was an associate professor at the Graduate Center of the City University of New York at Alex Heller. In 1968/69 he studied again at ETH Zurich as a Sloan Fellow, where he worked with Myles Tierney. 1972 to 1974 he was at Dalhousie University, and from 1974 professor at the State University of New York at Buffalo, where he retired in 2000. 1971/72 he was a visiting professor at the University of Aarhus and 1972 to 1974 he lectured at the Italian National Research Institute in Perugia.

Lawvere turned the category theory on the continuum mechanics after he had heard at one of the leading experts in this field, Clifford Truesdell as a student lectures on it. His devotion to category theory also done in his association with Truesdell, as he held on his behalf lectures on functional analysis and a remark in John L. Kelley 's General Topology read, in which he category- theoretical approach as an increase to the current local and global approaches described as galactic access.

In addition to category theory and applications in continuum mechanics and thermodynamics, he also deals with metric spaces and synthetic differential geometry as part of its program in categorical dynamics.

In 1970 he was invited speaker at the International Congress of Mathematicians in Nice ( Quantifiers and sheaves ). He is a Fellow of the American Mathematical Society.

He is married to Fatima Fenaroli since 1966 and has five children.

Writings

  • With Stephen Schanuel Conceptual mathematics: a first introduction to categories, Cambridge University Press 1997
  • Editor with Stephen Schanuel Categories in Continuum Physics ( Buffalo, NY 1982), Springer Lecture Notes in Mathematics, Vol 1174, 1986, ISBN 3-540-16096-5
  • With Robert Rosebrugh: Sets for Mathematics, Cambridge University Press, 2003
  • Comments on the development of topos theory, in Jean -Paul Pier Development of mathematics 1950-2000, Birkhäuser 2000
Muncie (Indiana) Set theory#Axiomatic set theory Portland (Oregon) Saunders Mac Lane University at Buffalo, The State University of New York Mathematics Genealogy Project Integrated Authority File
323718
de