MathOverflow
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 8 years, 4 months
  • Last seen this week
Profile Activity
Stats
708
reputation
3k
reached
8
answers
4
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
4
silver badges
13
bronze badges
Top tags
View all tags
19
Score
5
Posts
42
Posts %
13
Score
7
Posts
58
Posts %
13
Score
5
Posts
42
Posts %
10
Score
7
Posts
58
Posts %
10
Score
1
Posts
8
Posts %
10
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
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
7
Categorical equivalences and essentially commutating squares
Oct 1
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
4
Cocartesian fibration classifying $\mathrm{Fun}(F,G)$
Nov 1
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
Top network posts
View all network posts
150
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?
88
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.