MathOverflow
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev
  • Member for 8 years, 11 months
  • Last seen this week
  • Saint Petersburg, Russia
Profile Activity
Stats
4,330
reputation
38k
reached
42
answers
27
questions
Communities
Badges
View all badges
1
gold badge
17
silver badges
34
bronze badges
Top tags
View all tags
105
Score
42
Posts
61
Posts %
45
Score
9
Posts
13
Posts %
39
Score
7
Posts
10
Posts %
27
Score
14
Posts
20
Posts %
22
Score
6
Posts
9
Posts %
18
Score
14
Posts
20
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
47
In what respect are univalent foundations "better" than set theory?
Nov 24, 2017
answer
22
In constructive mathematics, why does the category of abelian groups fail to be abelian?
Nov 20, 2017
answer
16
Constructive proof of existence of free algebras for infinitary equational theories
Jul 10, 2019
question
16
Locales in constructive mathematics
Jul 16, 2017
question
13
Algebraic closure of a field in constructive mathematics
Jul 29, 2017
question
13
Constructive proofs of existence in analysis using locales
Dec 18, 2017
question
13
Combinatorial species and differential categories
Sep 18, 2019
question
12
Gabriel-Ulmer duality for $\infty$-categories
Feb 15, 2018
question
10
Cartesian product of small objects
Dec 9, 2014
question
10
Weak colimits in locally cartesian closed categories
May 3, 2018

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.