Skip to main content
MathOverflow
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev's user avatar
Valery Isaev
  • Member for 10 years
  • Last seen this week
  • Saint Petersburg, Russia
Profile Activity
Stats
4,459
reputation
42k
reached
42
answers
27
questions
Communities
Badges
View all badges
1
gold badge
19
silver badges
35
bronze badges
Top tags
View all tags
107
Score
42
Posts
61
Posts %
45
Score
9
Posts
13
Posts %
39
Score
7
Posts
10
Posts %
28
Score
14
Posts
20
Posts %
22
Score
6
Posts
9
Posts %
19
Score
7
Posts
10
Posts %
Top posts
View all questions and answers
answer
53
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
question
17
Locales in constructive mathematics
Jul 16, 2017
answer
16
Constructive proof of existence of free algebras for infinitary equational theories
Jul 10, 2019
question
15
Constructive proofs of existence in analysis using locales
Dec 18, 2017
question
13
Algebraic closure of a field in constructive mathematics
Jul 29, 2017
question
13
Gabriel-Ulmer duality for $\infty$-categories
Feb 15, 2018
question
13
Combinatorial species and differential categories
Sep 18, 2019
question
10
Cartesian product of small objects
Dec 9, 2014
question
10
Weak colimits in locally cartesian closed categories
May 3, 2018