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
Meta User
Network Profile
2,476
reputation
2
14
35

ಠ_ಠ

Fan of synthetic differential geometry.

25
answers
42
questions
~51k
people reached
  • Milky Way
  • Member for 4 years, 2 months
  • 991 profile views
  • Last seen 8 hours ago

Communities (41)

Top Network Posts

Top Tags (73)

Score 44
Posts 42
Posts % 63
Score 20
Posts 15
Score 10
Posts 9
Score 7
Posts 7
Score 6
Posts 16
Score 6
Posts 10
View all tags →

Top Posts (67) All Questions Answers | Votes Newest

44 Synthetic vs. classical differential geometry Nov 11 '14
30 Constructive algebraic geometry Nov 15 '17
24 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 (51)

Gold

2

Rarest

Silver

14

Rarest

Bronze

35

Rarest

View all badges →