MathOverflow
Profile Activity
Meta user
Network profile
3,849
reputation
1
13
30

Valery Isaev

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

41
answers
25
questions
~29k
people reached
  • Saint Petersburg, Russia
  • Member for 6 years, 3 months
  • 552 profile views
  • Last seen 45 mins ago

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (48)

Score 97
Posts 42
Posts % 64
Score 42
Posts 9
Score 36
Posts 7
Score 25
Posts 14
Score 17
Posts 11
Score 17
Posts 7
View all tags →

Top posts (66)

All Questions Answers
Votes Newest
46 In what respect are univalent foundations “better” than set theory? Nov 24 '17
21 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 '19
14 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
11 Combinatorial species and differential categories Sep 18 '19
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 (44)

Gold

1

Rarest

Silver

13

Rarest

Bronze

30

Rarest

View all badges →