Theoretical Computer Science
user avatar
user avatar
user avatar
Mike Shulman
  • Member for 7 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
665
reputation
2k
reached
3
answers
5
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
12
bronze badges
Top tags
View all tags
9
Score
2
Posts
25
Posts %
5
Score
1
Posts
12
Posts %
4
Score
2
Posts
25
Posts %
4
Score
1
Posts
12
Posts %
4
Score
1
Posts
12
Posts %
2
Score
4
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
12
Representing bound variables with a function from uses to binders
Sep 6, 2018
question
11
Swapping arguments of variables in higher-order pattern unification
Dec 28, 2021
question
7
Semantic read-back of sharing graphs
Oct 3, 2019
question
6
A stronger multiplexing rule for soft linear logic?
Jun 12, 2018
answer
5
Obtaining the Axiom of Choice through a modality in HTT
Sep 26, 2019
question
5
Does focused proof search ever have to backtrack across the choice of focus formula?
Aug 8, 2020
answer
4
How do we use directed univalence in directed type theory?
Mar 9
answer
2
A stronger multiplexing rule for soft linear logic?
Jun 13, 2018
Top network posts
View all network posts
200
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?
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.