Mathematics
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName
  • Member for 2 years, 10 months
  • Last seen this week
Profile Activity
Stats
1,890
reputation
10k
reached
39
answers
20
questions
Communities
View all
About

:)

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
16
bronze badges
Top tags
View all tags
43
Score
11
Posts
19
Posts %
25
Score
23
Posts
39
Posts %
8
Score
4
Posts
7
Posts %
5
Score
4
Posts
7
Posts %
4
Score
5
Posts
8
Posts %
4
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
16
law of excluded middle from subsets of finite sets being finite in “five stages of accepting constructive mathematics”
Jun 6, 2022
question
9
The Dual Of Exponentiation?
Apr 22, 2022
answer
7
Negation of Cauchy Criterion
Jun 25, 2022
question
6
What is problematic with formalizing higher category theory directly in HoTT
Apr 10, 2022
answer
5
How much can you generalize the notion of an ideal/normal subgroup/kernel of a homomorphism?
Dec 3, 2022
question
5
What's wrong with this "proof" involving' $n$-connectedness in HoTT?
Nov 30, 2022
answer
4
$F \cong \mathrm{Set}(-, A)$ when $F$ is adjoint to $\bar{F}$
Dec 18, 2022
question
4
Hook arrow $\hookrightarrow$ versus Tail arrow $\rightarrowtail$
Jun 29, 2022
answer
4
How do I think of the Hom functor?
Jun 21, 2022
answer
4
Difference Between Class and Set?
Jun 9, 2022
Top Meta posts
1
1
16
Common mix up between tags [homotopy-theory] and [homotopy-type-theory]
5
Common mix up between tags [homotopy-theory] and [homotopy-type-theory]
Top network posts
View all network posts
9
How to access local definitions in Agda
5
Agda: Cannot Instantiate Metavariable

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.