MathOverflow
user avatar
user avatar
user avatar
Valery Isaev
  • Member for 7 years, 5 months
  • Last seen this week
  • Saint Petersburg, Russia
Profile Activity
Stats
4,103
reputation
32k
reached
41
answers
26
questions
Communities
Badges
View all badges
1
gold badge
15
silver badges
32
bronze badges
Top tags
View all tags
100
Score
42
Posts
63
Posts %
43
Score
9
Posts
13
Posts %
37
Score
7
Posts
10
Posts %
26
Score
14
Posts
21
Posts %
18
Score
5
Posts
7
Posts %
17
Score
11
Posts
16
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
question
16
Locales in constructive mathematics
Jul 16, 2017
answer
15
Constructive proof of existence of free algebras for infinitary equational theories
Jul 10, 2019
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
11
Gabriel-Ulmer duality for $\infty$-categories
Feb 15, 2018
question
11
Combinatorial species and differential categories
Sep 18, 2019
question
10
Cartesian product of small objects
Dec 9, 2014
question
8
Functors between simplicial sets and cubical sets with connections
Apr 21, 2017

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.