MathOverflow
Meta user
Network profile
3,609
reputation
1
11
29

Valery Isaev

Apparently, this user prefers to keep an air of mystery about them.

39
answers
23
questions
~25k
people reached
  • Saint Petersburg, Russia
  • Member for 4 years, 11 months
  • 431 profile views
  • Last seen 43 mins ago

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (48)

Score 95
Posts 39
Posts % 63
Score 37
Posts 7
Score 36
Posts 7
Score 25
Posts 14
Score 17
Posts 5
Score 16
Posts 9
View all tags →

Top posts (62) All Questions Answers | Votes Newest

40 In what respect are univalent foundations “better” than set theory? Nov 24 '17
20 In constructive mathematics, why does the category of abelian groups fail to be abelian? Nov 20 '17
15 Constructive proof of existence of free algebras for infinitary equational theories Jul 10
13 Locales in constructive mathematics Jul 16 '17
13 Constructive proofs of existence in analysis using locales Dec 18 '17
12 Algebraic closure of a field in constructive mathematics Jul 29 '17
10 Combinatorial species and differential categories Sep 18
10 Gabriel-Ulmer duality for $\infty$-categories Feb 15 '18
10 Cartesian product of small objects Dec 9 '14
8 Functors between simplicial sets and cubical sets with connections Apr 21 '17
View all questions and answers →

Badges (41)

Gold

1

Rarest

Silver

11

Rarest

Bronze

29

Rarest

View all badges →