Skip to main content
MathOverflow
David Wärn's user avatar
David Wärn's user avatar
David Wärn's user avatar
David Wärn
  • Member for 6 years, 11 months
  • Last seen this week
Profile Activity
Stats
416
reputation
3k
reached
5
answers
0
questions
Communities
View all
About

PhD student working in homotopy type theory

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
7
bronze badges
Top tags
View all tags
12
Score
2
Posts
40
Posts %
7
Score
2
Posts
40
Posts %
7
Score
2
Posts
40
Posts %
7
Score
2
Posts
40
Posts %
7
Score
2
Posts
40
Posts %
6
Score
1
Posts
20
Posts %
Top posts
6
Constructively, is the unit of the “free abelian group” monad on sets injective?
Oct 2, 2022
6
Does negative trichotomy hold for constructive ordinals?
Sep 23, 2023
5
How many configurations of tubes are there?
Oct 3, 2023
5
"$X$ is $n$-truncated $\iff$ $\Omega X$ is $(n-1)$-truncated" for connected pointed $X$. (HTT, 7.2.2.11)
Apr 13
2
Why is the universal $n$-gerbe universal? (HTT, 7.2.2.26)
Apr 14