gptkbp:instanceOf
|
gptkb:mathematician
gptkb:person
|
gptkbp:almaMater
|
gptkb:Columbia_University
gptkb:University_of_Notre_Dame
|
gptkbp:award
|
gptkb:Leroy_P._Steele_Prize_for_Lifetime_Achievement
|
gptkbp:birthDate
|
1937-02-15
|
gptkbp:birthPlace
|
gptkb:Muncie,_Indiana,_USA
|
gptkbp:deathDate
|
2023-01-23
|
gptkbp:doctoralAdvisor
|
gptkb:Samuel_Eilenberg
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:category_theory
topos theory
|
https://www.w3.org/2000/01/rdf-schema#label
|
William Lawvere
|
gptkbp:influenced
|
gptkb:Saunders_Mac_Lane
gptkb:logic
gptkb:John_Baez
gptkb:Peter_Johnstone
gptkb:André_Joyal
gptkb:F._William_Lawvere
gptkb:Francis_Borceux
gptkb:Myles_Tierney
gptkb:Robert_Rosebrugh
gptkb:Steve_Awodey
|
gptkbp:influencedBy
|
gptkb:Paul_Halmos
gptkb:Saunders_Mac_Lane
gptkb:Alexander_Grothendieck
gptkb:Samuel_Eilenberg
gptkb:Charles_Ehresmann
|
gptkbp:knownFor
|
gptkb:category_theory
gptkb:Lawvere–Tierney_topology
gptkb:Lawvere_fixed-point_theorem
gptkb:elementary_topos_theory
gptkb:enriched_category_theory
gptkb:functorial_semantics
categorical logic
|
gptkbp:memberOf
|
gptkb:American_Mathematical_Society
|
gptkbp:nationality
|
gptkb:American
|
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
Adjointness in Foundations
Categories in Continuum Physics
Quantifiers and Sheaves
|
gptkbp:spouse
|
gptkb:Rosemary_Lawvere
|
gptkbp:thesisTitle
|
gptkb:Functorial_Semantics_of_Algebraic_Theories
|
gptkbp:thesisYear
|
1963
|
gptkbp:workInstitution
|
gptkb:City_University_of_New_York
gptkb:Dalhousie_University
gptkb:ETH_Zurich
gptkb:University_at_Buffalo
|
gptkbp:bfsParent
|
gptkb:Saunders_Mac_Lane
gptkb:Foundations_of_mathematics
|
gptkbp:bfsLayer
|
5
|