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 7 years, 8 months
  • Last seen this week
Profile Activity
Stats
581
reputation
4k
reached
7
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
9
bronze badges
Top tags
View all tags
19
Score
3
Posts
43
Posts %
15
Score
3
Posts
43
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
7
Score
2
Posts
29
Posts %
Top posts
9
Constructively, is the unit of the “free abelian group” monad on sets injective?
Oct 2, 2022
8
Does negative trichotomy hold for constructive ordinals?
Sep 23, 2023
8
A simplicial set of partitions
Mar 25
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, 2024
2
Why is the universal $n$-gerbe universal? (HTT, 7.2.2.26)
Apr 14, 2024
2
What's the deal with predicative foundations?
Feb 9