Skip to main content
MathOverflow
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 4 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
10,058
reputation
543
reached
0
answers
1
question
Communities
View all
About

Type theorist and Rust compiler developer. I make q.uiver.app.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
6
Systematic downvoting
Jan 10
Top network posts
View all network posts
25
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
23
Two interpretations of implication in categorical logic?
20
Is Freyd's thesis available online anywhere?
18
Monoidal categories whose tensor has a left adjoint
17
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)