MathOverflow
efk's user avatar
efk's user avatar
efk's user avatar
efk
  • Member for 2 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
193
reputation
999
reached
1
answer
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
4
Posts
100
Posts %
0
Score
3
Posts
75
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Curry-Howard isomorphism: What is the logical counterpart of closure conversion?
May 24, 2021
question
6
Why finitely presentable objects in Top need to be discrete?
Jul 6, 2022
question
5
Simple type theory: equational axioms validated by biCartesian closed categories
Jan 7
answer
0
Simple type theory: equational axioms validated by biCartesian closed categories
Jan 10

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.