Theoretical Computer Science
Mike Shulman
  • Member for 7 years, 1 month
  • Last seen this week
Profile Activity
Stats
490
reputation
1k
reached
2
answers
4
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.
2
silver badges
10
bronze badges
Top tags
View all tags
5
Score
1
Posts
17
Posts %
5
Score
1
Posts
17
Posts %
2
Score
4
Posts
67
Posts %
2
Score
2
Posts
33
Posts %
2
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
Top posts
All Questions Answers Articles
Votes Newest
12
Representing bound variables with a function from uses to binders
Sep 6 '18
7
Semantic read-back of sharing graphs
Oct 3 '19
6
A stronger multiplexing rule for soft linear logic?
Jun 12 '18
5
Obtaining the Axiom of Choice through a modality in HTT
Sep 26 '19
5
Does focused proof search ever have to backtrack across the choice of focus formula?
Aug 8 '20
2
A stronger multiplexing rule for soft linear logic?
Jun 13 '18
Top network posts
View all network posts
191
Why doesn't mathematics collapse even though humans quite often make mistakes in their proofs?
95
What properties make $[0,1]$ a good candidate for defining fundamental groups?
78
Has incorrect notation ever led to a mistaken proof?
65
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.