Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Topos_Theory
|
| gptkbp:affiliation |
gptkb:University_of_Illinois_at_Chicago
gptkb:University_at_Buffalo |
| gptkbp:awards |
gptkb:Gödel_Prize
Fellow of the American Mathematical Society |
| gptkbp:birth_date |
1937-09-08
|
| gptkbp:birth_place |
gptkb:New_York_City,_USA
|
| gptkbp:contribution |
the concept of a topos
the study of categorical foundations of mathematics. Lawvere's Theorem the development of the theory of categorical models for type theory cohesive topos the Lawvere metric space the Lawvere-Tierney topology the categorical foundations of mathematics the concept of a monoidal category the development of categorical algebra the development of categorical logic the development of higher category theory the development of the theory of enriched functors the development of the theory of fibrations the development of the theory of higher categories the development of the theory of monads the development of the theory of operads the development of the theory of simplicial sets the notion of a functor the study of adjoint functors the study of adjunctions in category theory the study of categorical logic and type theory the study of categorical semantics for logic the study of categorical topology the study of higher-dimensional categories the study of homotopy theory in categories the study of homotopy type theory the study of representable functors the study of sheaves and presheaves the study of topos theory the study of universal properties in categories the theory of enriched categories the theory of limits and colimits in categories the theory of limits in category theory the theory of toposes and sheaf theory |
| gptkbp:field |
gptkb:philosopher
gptkb:Mathematician category theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Lawvere
|
| gptkbp:influenced_by |
gptkb:William_Lawvere
gptkb:Alfred_Tarski |
| gptkbp:known_for |
categorical logic
functorial semantics theories of categories |
| gptkbp:notable_alumni |
gptkb:Peter_Johnstone
gptkb:M._A._A._van_den_Berg Johnstone |