Theoretical Computer Science
user avatar
user avatar
user avatar
Mike Shulman
  • Member for 7 years, 7 months
  • Last seen more than 4 years ago
Profile Activity
Stats
665
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I am an associate professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
202
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
99
What properties make $[0,1]$ a good candidate for defining fundamental groups?
84
Has incorrect notation ever led to a mistaken proof?
66
Can skeleta simplify category theory?
61
What packages do people load by default in LaTeX?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.