Michael Shulman
E1943226
UNEXPLORED
Michael Shulman is a mathematician known for his work in category theory, homotopy type theory, and higher topos theory, and for his contributions to the Univalent Foundations program.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Michael Shulman canonical | 1 |
| Mike Shulman | 1 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Michael Shulman