|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Columbia_University
gptkb:University_of_Chicago
|
|
gptkbp:awardReceived
|
gptkb:Leroy_P._Steele_Prize
|
|
gptkbp:birthDate
|
1937-02-09
|
|
gptkbp:deathDate
|
2023-01-23
|
|
gptkbp:doctoralAdvisor
|
gptkb:Samuel_Eilenberg
|
|
gptkbp:employer
|
gptkb:Dalhousie_University
gptkb:ETH_Zurich
gptkb:University_at_Buffalo
gptkb:University_of_Chicago
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:category_theory
topos theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
F. William Lawvere
|
|
gptkbp:influenced
|
gptkb:Saunders_Mac_Lane
gptkb:logic
gptkb:André_Joyal
gptkb:Jean_Bénabou
|
|
gptkbp:influencedBy
|
gptkb:Saunders_Mac_Lane
gptkb:Alexander_Grothendieck
gptkb:Samuel_Eilenberg
|
|
gptkbp:knownFor
|
gptkb:category_theory
gptkb:Lawvere–Tierney_topology
gptkb:Lawvere_fixed-point_theorem
gptkb:functorial_semantics
categorical logic
elementary topos
|
|
gptkbp:memberOf
|
gptkb:American_Mathematical_Society
gptkb:Association_for_Symbolic_Logic
|
|
gptkbp:nationality
|
gptkb:United_States
|
|
gptkbp:notableStudent
|
gptkb:Stephen_Schanuel
gptkb:Robert_Rosebrugh
gptkb:Marta_Bunge
|
|
gptkbp:occupation
|
gptkb:mathematician
|
|
gptkbp:placeOfBirth
|
gptkb:Muncie,_Indiana,_United_States
|
|
gptkbp:placeOfDeath
|
gptkb:Buffalo,_New_York,_United_States
|
|
gptkbp:publishedIn
|
gptkb:Conceptual_Mathematics_(with_Stephen_Schanuel)
gptkb:Functorial_Semantics_of_Algebraic_Theories
gptkb:Sets_for_Mathematics_(with_Robert_Rosebrugh)
gptkb:The_Category_of_Categories_as_a_Foundation_for_Mathematics
gptkb:Journal_of_Pure_and_Applied_Algebra
gptkb:An_Elementary_Theory_of_the_Category_of_Sets
gptkb:Theory_and_Applications_of_Categories
gptkb:Mathematical_Logic_Quarterly
Adjointness in Foundations
Quantifiers and Sheaves
Categories of Spaces May Not Be Generalized Spaces as Exemplified by Directed Graphs
|
|
gptkbp:thesisTitle
|
gptkb:Functorial_Semantics_of_Algebraic_Theories
|
|
gptkbp:thesisYear
|
1963
|
|
gptkbp:bfsParent
|
gptkb:William_Lawvere
|
|
gptkbp:bfsLayer
|
6
|