Skip to main content
MathOverflow
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 4 years, 10 months
  • Last seen this week
Profile Activity
Stats
10,654
reputation
59k
reached
95
answers
61
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.
29
silver badges
72
bronze badges
Top tags
View all tags
508
Score
150
Posts
96
Posts %
207
Score
45
Posts
29
Posts %
105
Score
35
Posts
22
Posts %
89
Score
18
Posts
12
Posts %
61
Score
29
Posts
19
Posts %
39
Score
32
Posts
21
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
16
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
answer
14
Strict toposes as a finite limit theory
Jun 10
question
13
Large V-categories admitting the construction of V-presheaves
Feb 23
question
13
Examples and counterexamples to Lack's coherence observation
May 10, 2022
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?
14
What's a double category with one object?
13
Are fully faithful functors stable under pullback?
11
tikz-cd `shorten` in combination with `squiggly`
10
Objects of categories with no morphisms from them other than endomorphisms