MathOverflow
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 3 years, 10 months
  • Last seen this week
Profile Activity
Stats
7,889
reputation
37k
reached
73
answers
45
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.
20
silver badges
55
bronze badges
Top tags
View all tags
376
Score
113
Posts
96
Posts %
131
Score
31
Posts
26
Posts %
80
Score
28
Posts
24
Posts %
64
Score
13
Posts
11
Posts %
52
Score
21
Posts
18
Posts %
29
Score
24
Posts
20
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
23
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
question
18
Monoidal categories whose tensor has a left adjoint
Jan 3, 2021
question
16
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
13
Free category with product and coproduct
May 8, 2020
question
13
Examples and counterexamples to Lack's coherence observation
May 10, 2022
answer
12
Original reference for categories of presheaves as free cocompletions of small categories
Jul 5, 2021
answer
12
Overloading of the word "local" in category theory
Jan 24
question
12
A right adjoint preserves Phi-colimits if and only if the left adjoint does what?
Jul 13, 2022
Top network posts
View all network posts
15
What are some examples of self-adjoint functors? Is this an example?
13
What's a double category with one object?
12
Are fully faithful functors stable under pullback?
10
A monad is just a monoid in the category of endofunctors, what's the enlightenment?
10
tikz-cd `shorten` in combination with `squiggly`

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.