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 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.
Read more about this topic: William Lawvere
Famous quotes containing the word biography:
“There never was a good biography of a good novelist. There couldn’t be. He is too many people, if he’s any good.”
—F. Scott Fitzgerald (1896–1940)
“Had Dr. Johnson written his own life, in conformity with the opinion which he has given, that every man’s life may be best written by himself; had he employed in the preservation of his own history, that clearness of narration and elegance of language in which he has embalmed so many eminent persons, the world would probably have had the most perfect example of biography that was ever exhibited.”
—James Boswell (1740–95)