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


15h
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.
Nov
24
answered System of generators and surjective homomorphism
Nov
23
revised Homotopy Groups for Categories
deleted 4 characters in body
Nov
23
answered Homotopy Groups for Categories
Nov
23
comment Homotopy Groups for Categories
I wouldn't dare to call this constuction $\pi_1$ of a category, mainly because this is structure distinguish an n-tuple of composable arrows in the category and their composite....
Nov
21
comment Why is this not a category?
A little add: if instead one consider the families $mor_{\mathbb P}(O,Q)$ of decreasing monotone functions these data do not form a category.... well not in the natural way.
Nov
21
answered Why is this not a category?
Sep
30
awarded  Explainer
Sep
23
awarded  Revival
Sep
8
accepted Category of pointed manifolds
Sep
8
asked Category of pointed manifolds
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
comment Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
@RoyO. After a deep reading of the book you cited above I think I've finally found a solution to your problem, take a look and let me know if it's not clear :)
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
comment Algebras of the environment monad
@MartinBrandenburg aaaaaah I see now. I'm sorry I've misread the question, anyway since it seems that the OP seems interested I think it would better leave it....