MathOverflow
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 8 years, 2 months
  • Last seen this week
Profile Activity
Stats
583
reputation
2k
reached
7
answers
3
questions
Communities
View all
About

phd student in (categorical) type theory. Interested in higher categories and modal type theory.

Badges
View all badges
1
gold badge
3
silver badges
13
bronze badges
Top tags
View all tags
13
Score
6
Posts
60
Posts %
13
Score
5
Posts
50
Posts %
12
Score
3
Posts
30
Posts %
10
Score
6
Posts
60
Posts %
10
Score
1
Posts
10
Posts %
10
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
answer
10
Homotopy type theory: why are $0:\mathbb N$ and $\mathrm{succ}(0):\mathbb N$ not judgementally equal?
Oct 12, 2022
answer
6
Base change isomorphism for left Kan extensions
Mar 5
answer
5
Is the identity a cofibration?
Jun 9
question
4
Decomposing a $\mathcal{M}$-valued presheaf into a homotopy colimit of representables
Dec 4, 2022
question
3
Question about the proof of Kerodon tag 030V (Proposition 7.3.7.1)
Jun 13, 2022
answer
3
Monomorphisms of diagrams in an $\infty$-category
Jun 26
answer
3
Limits of infinity categories and mapping spaces
Jul 8
question
2
Hom-spaces of Segal spaces versus their realization in $\mathbf{Cat}$
Feb 3
answer
2
Cofinal maps from posets (HTT, 4.2.3.16)
Jul 3
answer
2
Connectedness of truncated version of cosimplicial indexing category
Jul 20
Top network posts
View all network posts
149
Setting an int to Infinity in C++
147
What is the purpose of the "send" function on Python generators?
121
How can I write multiline strings in Haskell?
119
Why doesn't Java 8 include immutable collections?
87
Setting an int to Infinity in C++

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.