Stack Exchange Network

Stack Exchange network consists of 174 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,565
reputation
2
15
35

ಠ_ಠ

Fan of synthetic differential geometry.

25
answers
44
questions
~53k
people reached
  • Milky Way
  • Member for 4 years, 4 months
  • 1,028 profile views
  • Last seen 10 mins ago

Communities (41)

Top Network Posts

Top Tags (78)

Score 46
Posts 42
Posts % 61
Score 21
Posts 15
Score 11
Posts 9
Score 7
Posts 10
Score 7
Posts 7
Score 6
Posts 16
View all tags →

Top Posts (69) All Questions Answers | Votes Newest

44 Synthetic vs. classical differential geometry Nov 11 '14
30 Constructive algebraic geometry Nov 15 '17
25 Etiquette of publishing folklore results Mar 9 '17
24 Examples of Kan extensions, adjunctions, and (co)monads in analysis, Lie theory, and differential geometry? Jan 22 '15
16 Is there a useful theory of D-modules on smooth (non-analytic) manifolds? Mar 3 '17
15 In constructive mathematics, why does the category of abelian groups fail to be abelian? Nov 19 '17
14 Constructive homological algebra in HoTT Nov 22 '17
14 String diagrams for bimonoidal categories (a.k.a. rig categories)? Oct 16 '17
13 Intuition for the Cartan connection and “rolling without slipping” in Cartan geometry Jan 28 '16
11 Is integration on manifolds unique? Aug 1 '17
View all questions and answers →

Badges (52)

Gold

2

Rarest

Silver

15

Rarest

Bronze

35

Rarest

View all badges →