Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
MathOverflow
Meta user
Network profile
2,236
reputation
1
9
24

Valery Isaev

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

29
answers
18
questions
~20k
people reached
  • Saint Petersburg, Russia
  • Member for 4 years, 5 months
  • 324 profile views
  • Last seen 5 hours ago

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (42)

Score 87
Posts 29
Posts % 62
Score 29
Posts 4
Score 24
Posts 12
Score 21
Posts 6
Score 21
Posts 6
Score 16
Posts 5
View all tags →

Top posts (47) All Questions Answers | Votes Newest

39 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
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 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
8 Is every total computable function definable by a strongly total lambda term? Mar 16 '18
8 Weak colimits in locally cartesian closed categories May 3 '18
View all questions and answers →

Badges (34)

Gold

1

Rarest

Silver

9

Rarest

Bronze

24

Rarest

View all badges →