MathOverflow
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 4 years, 1 month
  • Last seen this week
Profile Activity
Stats
8,755
reputation
43k
reached
80
answers
47
questions
top 2% this year
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.
23
silver badges
61
bronze badges
Top tags
View all tags
434
Score
122
Posts
96
Posts %
155
Score
32
Posts
25
Posts %
83
Score
29
Posts
23
Posts %
64
Score
13
Posts
10
Posts %
53
Score
24
Posts
19
Posts %
34
Score
26
Posts
20
Posts %
Top posts
View all questions and answers
answer
25
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
Sep 16, 2021
answer
23
Two interpretations of implication in categorical logic?
Dec 4, 2020
answer
20
Is Freyd's thesis available online anywhere?
Feb 22
question
18
Monoidal categories whose tensor has a left adjoint
Jan 3, 2021
question
17
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
Aug 14, 2021
question
15
Original reference for categories of presheaves as free cocompletions of small categories
Jul 2, 2021
answer
14
The category theoretic origin of arithmetic product
Dec 30, 2023
question
13
Examples and counterexamples to Lack's coherence observation
May 10, 2022
answer
13
Free category with product and coproduct
May 8, 2020
question
12
Large V-categories admitting the construction of V-presheaves
Feb 23
Top Meta posts
1
0
7
Systematic downvoting
Top network posts
View all network posts
15
What are some examples of self-adjoint functors? Is this an example?
13
Are fully faithful functors stable under pullback?
13
What's a double category with one object?
10
A monad is just a monoid in the category of endofunctors, what's the enlightenment?
10
tikz-cd `shorten` in combination with `squiggly`