5,516 reputation
1522
bio website poisson.phc.unipi.it/~mossa
location Earth
age 25
visits member for 2 years, 10 months
seen 15 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.


Mar
6
awarded  Organizer
Mar
6
revised Systems the Peano axioms can be derived in
added logic tag
Mar
6
answered Systems the Peano axioms can be derived in
Mar
5
comment Systems the Peano axioms can be derived in
Are you looking for other system capable of internalize Peano arithmetic?
Mar
2
reviewed Approve suggested edit on Normalizer of an open subgroup of a compact group
Mar
2
reviewed Approve suggested edit on Irreducible polynomials as formal power series
Mar
1
comment Proof of $(\forall x. \varepsilon(x)) \Rightarrow \bot $ in $\lambda\pi $ calculus $\equiv$
Can you give more details on the notation?
Mar
1
comment Monomorphisms and Epimorphisms in the category of small categories
@user114885 I've added some stuff about epis too. Nonetheless I don't know if that can be enough for you. There's a claim (but I've not prove of it) for a possibile characterization of epis in $\mathbf {Cat}$.
Mar
1
revised Monomorphisms and Epimorphisms in the category of small categories
Address (partially) the last part of the question.
Feb
28
comment Monomorphisms and Epimorphisms in the category of small categories
I'd voluntarily left some of the details. Hope you don't mind.
Feb
28
answered Monomorphisms and Epimorphisms in the category of small categories
Feb
28
comment Gödel's Completeness Theorem and satisfiability of a formula in first-order logic
@MauroALLEGRANZA are you looking for a witness of indecidibility of first order logic?
Feb
26
reviewed Approve suggested edit on Why must this be a closed curve?
Feb
25
reviewed Edit suggested edit on Quotients of $\mathbb{Z}_2$ graded rings
Feb
25
revised Quotients of $\mathbb{Z}_2$ graded rings
Mistakes regarding the sets to which elements belong, that is the user has written $I$ instead of $R/I$
Feb
25
answered What to read alongside with Hatcher Algebraic Topology
Feb
24
reviewed Approve suggested edit on Statistics. Sampling data $\bar{X}$
Feb
22
reviewed Approve suggested edit on independent/dependent values at different frequencies and phases
Feb
22
reviewed Approve suggested edit on Calculus: tangents and limits
Feb
19
comment How do I prove that the function symbol $\circ$ is not a term by induction in the calculus?
then from the rule T2, since as you say $\circ \in S$, we have that $\circ$ is term. Otherwise you have to restrict rule T2 so that it can be applied just to term with $0$-ariety.