6,536 reputation
1727
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 8 months
seen 6 hours ago

I'm math student, in particular I'm interested in algebra, geometry, topology and category theory (especially higher dimensional category theory) and its application in mathematics.


Jan
19
revised How to introduce type theory to newcomer
added details in order to address more specific issues.
Jan
19
revised How to introduce type theory to newcomer
deleted 238 characters in body
Jan
17
awarded  Announcer
Jan
8
comment Degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$
@JackD'Aurizio for start since $[\mathbb Q(\zeta_7):\mathbb Q]=6$ it's not so clear why $\sqrt{-3}=Q_1+Q_2\zeta_7$ and not $Q_0+Q_1\zeta_7+\dots+Q_6 \zeta_7^6$, second it's not so clear (at least not to me) why the relation $-3=(Q_1+Q_2\zeta_7)^2$, which holds in $\mathbf Q(\zeta_7)$ should also hold in the finite field $\mathbb F$.... guess I'm a little rusty on arithmetics...
Jan
8
comment Degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$
@JackD'Aurizio I guess the not so easy part is why from the fact that $\sqrt{-3} \in \mathbb Q(\eta_7)$ should follow that in the finite field there is a square root of $-3$.
Jan
7
revised How to introduce type theory to newcomer
added specifications
Jan
7
comment How to introduce type theory to newcomer
@MikeStay I've read the paper but it seems to deal with the relation between typed and untyped theories, so how does it relate to my issue here? Am I missing something?
Jan
7
revised No group of order $400$ is simple - clarification
Fixed a little typo in the title.
Jan
7
comment How to introduce type theory to newcomer
@NikolajK I'm afraid they very limited knowledge: mostly simple basic programming in C.
Jan
6
comment How to introduce type theory to newcomer
@MikeStay Thanks for the link, I'm definitively going to read it.
Jan
6
comment How to introduce type theory to newcomer
Anyway I wanted to see if anyone could give me other hints in order to help me to choose one of the two solutions.
Jan
6
comment How to introduce type theory to newcomer
@cody I've take a look at some references, primarily to the Homotopy type theory book and to The seven virtues of simple type theory. The first reference doesn't clearly address my issue while the second seems to tend to the second approach (the one which takes also dependent terms).
Jan
6
revised How to introduce type theory to newcomer
English corrections
Jan
6
asked How to introduce type theory to newcomer
Dec
20
awarded  Constituent
Dec
9
awarded  Caucus
Dec
6
comment Example of an associative binary operation, without identities or inverses.
@Bartek Yeah, but at the time I wrote the answer the OP didn't say anything about commutativity.
Dec
5
answered Example of an associative binary operation, without identities or inverses.
Nov
24
revised System of generators and surjective homomorphism
added 75 characters in body
Nov
24
comment System of generators and surjective homomorphism
@MartinBrandenburg ops... thanks for pointing out, I'm going to edit immediately.