William Lawvere

GPTKB entity

Statements (55)
Predicate Object
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