Mike Shulman
I am an assistant professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.
2
answers
2
questions
~2k
people reached

San Diego, CA

Member for 9 years, 9 months

56 profile views

Last seen Jul 11 at 1:19
Communities (18)
 MathOverflow 39.1k 39.1k 44 gold badges9090 silver badges240240 bronze badges
 Mathematics Educators 3.6k 3.6k 1515 silver badges4848 bronze badges
 Mathematics 2.8k 2.8k 77 silver badges2121 bronze badges
 TeX  LaTeX 805 805 88 silver badges1616 bronze badges
 Theoretical Computer Science 203 203 11 silver badge1010 bronze badges
 View network profile →
Top network posts
 92 What properties make $[0,1]$ a good candidate for defining fundamental groups?
 75 Has incorrect notation ever led to a mistaken proof?
 61 Can skeleta simplify category theory?
 57 What packages do people load by default in LaTeX?
 57 The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to me)
 48 Should we say that fractions "are" or "represent" numbers?
 48 How to correct an error in a submitted paper?
 View more network posts →