MathOverflow
Meta user
Network profile
3,679
reputation
1
12
29

Valery Isaev

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

39
answers
24
questions
~26k
people reached
  • Saint Petersburg, Russia
  • Member for 5 years, 2 months
  • 463 profile views
  • Last seen 2 hours ago

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (48)

Score 96
Posts 40
Posts % 63
Score 38
Posts 7
Score 36
Posts 7
Score 25
Posts 14
Score 17
Posts 5
Score 16
Posts 10
View all tags →

Top posts (63) All Questions Answers | Votes Newest

42 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
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 '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 (42)

Gold

1

Rarest

Silver

12

Rarest

Bronze

29

Rarest

View all badges →