6,431 reputation
1726
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 6 months
seen 5 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.


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.
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
3
revised There are two types of functors; covariant and contravariant. Is it right?
added 977 characters in body
Feb
1
revised What does “Arrows are more important than objects” really mean?
Made some corrections
Jan
14
revised Image of homomorphism from ideal is ideal
corrected a mistake
Jan
13
revised Optimization and distance (minimum time)
calculation corrected