Michael Shulman

URI: https://gptkb.org/entity/Michael_Shulman
GPTKB entity
Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1979
gptkbp:contributedTo gptkb:nLab
gptkbp:doctoralAdvisor gptkb:J._Peter_May
gptkbp:education gptkb:Harvard_University
gptkb:University_of_Chicago
gptkbp:employer University of San Diego
gptkbp:field gptkb:mathematics
gptkb:homotopy_type_theory
gptkb:category_theory
higher category theory
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
gptkb:Univalent_Foundations_Program
gptkbp:occupation gptkb:mathematician
gptkbp:website https://ncatlab.org/nlab/show/Michael+Shulman
gptkbp:bfsParent gptkb:Shulman
gptkb:Can_of_Worms
gptkb:HoTT_community
gptkb:Homotopy_Type_Theory
gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
gptkb:Homotopy_type_theory
gptkbp:bfsLayer 8
https://www.w3.org/2000/01/rdf-schema#label Michael Shulman