6,536 reputation
1727
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 8 months
seen 59 mins 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
7
revised How to introduce type theory to newcomer
added specifications
Jan
7
revised No group of order $400$ is simple - clarification
Fixed a little typo in the title.
Jan
6
revised How to introduce type theory to newcomer
English corrections
Nov
24
revised System of generators and surjective homomorphism
added 75 characters in body
Nov
23
revised Homotopy Groups for Categories
deleted 4 characters in body
Jul
17
revised Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
made some correction
Jul
17
revised Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
Corrected the answer
Jul
16
revised Algebras of the environment monad
added 2 characters in body
Jul
4
revised On the category of Sets as an example of an algebraic category
Improved answer
May
19
revised What's the significance of defining group as a group object in category $\mathcal{Set}$?
added stuff
May
13
revised Unit for Left Adjoint to the Inclusion Functor
Fixed some typos (functor $i$ cannot be composed with object of the category $\mathbf{Set}/I$)
May
4
revised Natural transformation is a mono iff the components are.
Added some specifications
May
4
revised Natural transformation is a mono iff the components are.
Fixed a grammar error
Apr
11
revised Query on a simple exercise involving representations of functors.
Added specifications
Apr
10
revised When is $\langle x,y\rangle$ equal to $\langle x\rangle\langle xy\rangle$?
edited title
Mar
31
revised Spec($A$) is connected if $A$ is local
Corrected a typo.
Mar
6
revised Systems the Peano axioms can be derived in
added logic tag
Mar
1
revised Monomorphisms and Epimorphisms in the category of small categories
Address (partially) the last part of the question.