Theoretical Computer Science
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 3 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
246
reputation
703
reached
3
answers
0
questions
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
View all tags
9
Score
2
Posts
67
Posts %
5
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
5
Does ${\bf CPO}$ have $\omega$-colimits?
Dec 2, 2022
answer
4
Pi-calculus (or session types) - proof for weakening lemma
Sep 8, 2020
answer
4
What's the categorical semantics of definitional equality?
Jul 28, 2021
Top network posts
View all network posts
23
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
23
Two interpretations of implication in categorical logic?
18
Monoidal categories whose tensor has a left adjoint
16
Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)
15
What are some examples of self-adjoint functors? Is this an example?

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.