MathOverflow
Profile Activity
Meta user
Network profile
4,715
reputation
2
18
38

ಠ_ಠ

Fan of synthetic differential geometry.

25
answers
46
questions
~66k
people reached
  • Milky Way
  • Member for 5 years, 7 months
  • 1,286 profile views
  • Last seen Mar 18 at 18:29

Communities (41)

Top network posts

Top tags (79)

Score 50
Posts 43
Posts % 61
Score 24
Posts 15
Score 13
Posts 9
Score 9
Posts 10
Score 8
Posts 7
Score 7
Posts 16
View all tags →

Top posts (71)

All Questions Answers
Votes Newest
47 Synthetic vs. classical differential geometry Nov 11 '14
33 Constructive algebraic geometry Nov 15 '17
26 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
20 Is there a useful theory of D-modules on smooth (non-analytic) manifolds? Mar 3 '17
16 In constructive mathematics, why does the category of abelian groups fail to be abelian? Nov 19 '17
16 String diagrams for bimonoidal categories (a.k.a. rig categories)? Oct 16 '17
13 Constructive homological algebra in HoTT Nov 22 '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 (58)

Gold

2

Rarest

Silver

18

Rarest

Bronze

38

Rarest

View all badges →