Mathematics
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName
  • Member for 2 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
1,890
reputation
586
reached
1
answer
1
question
Communities
View all
About

:)

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
5
Score
2
Posts
100
Posts %
5
Score
2
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
16
Common mix up between tags [homotopy-theory] and [homotopy-type-theory]
Oct 23
answer
5
Common mix up between tags [homotopy-theory] and [homotopy-type-theory]
Oct 26
Top network posts
View all network posts
16
law of excluded middle from subsets of finite sets being finite in “five stages of accepting constructive mathematics”
9
The Dual Of Exponentiation?
9
How to access local definitions in Agda
7
Negation of Cauchy Criterion
6
What is problematic with formalizing higher category theory directly in HoTT

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.