Skip to main content
MathOverflow
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 4 years, 5 months
  • Last seen this week
Profile Activity
Stats
9,521
reputation
47k
reached
84
answers
53
questions
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.
25
silver badges
64
bronze badges
Top tags
View all tags
449
Score
131
Posts
96
Posts %
178
Score
37
Posts
27
Posts %
85
Score
30
Posts
22
Posts %
73
Score
15
Posts
11
Posts %
61
Score
28
Posts
20
Posts %
39
Score
29
Posts
21
Posts %
Top posts
View all questions and answers
25
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
Sep 16, 2021
23
Two interpretations of implication in categorical logic?
Dec 4, 2020
20
Is Freyd's thesis available online anywhere?
Feb 22
18
Monoidal categories whose tensor has a left adjoint
Jan 3, 2021
17
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
Aug 14, 2021
16
Original reference for categories of presheaves as free cocompletions of small categories
Jul 2, 2021
14
Strict toposes as a finite limit theory
Jun 10
14
The category theoretic origin of arithmetic product
Dec 30, 2023
13
Original reference for categories of presheaves as free cocompletions of small categories
Jul 5, 2021
13
Free category with product and coproduct
May 8, 2020
Top Meta posts
1
0
6
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?
11
tikz-cd `shorten` in combination with `squiggly`
10
A monad is just a monoid in the category of endofunctors, what's the enlightenment?