5,526 reputation
1522
bio website poisson.phc.unipi.it/~mossa
location Earth
age 25
visits member for 2 years, 10 months
seen 20 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
29
comment A question about groups as categories.
One more suggestion (hope you don't mind): I would eliminate the Last remark label, since that's more the answer than a remark :)
Jan
29
comment A question about groups as categories.
+1 great and complete answer, but maybe you put too much stuff. Your answer seems a little hard to read, may I suggest you try cut off some additional details reference like the last two paragraphs and left those as comments? I think it would improve the question.
Jan
27
answered A functor sending monads to monads
Jan
27
answered Why is this category invalid?
Jan
25
reviewed Approve suggested edit on Find the largest interval for which the following series is convergent at all points x in it
Jan
22
reviewed Approve suggested edit on Pigeon hole principle application
Jan
18
reviewed Approve suggested edit on Recursive algorithm correctness: problem.
Jan
17
comment Hatcher 0.5 without the Tube Lemma?
@user105994 If you meant $F(c+(b-c)s,x)$ instead of $F(c+(b-c)t,x)$ above then the answer should be "yes, it's correct".
Jan
15
comment Construction Types or Type Constructions?
by the way I would avoid in general the use of the terms kinds since it seems to have already a meaning in type theory.
Jan
15
reviewed Leave Open Definition: $a \prec b$ , $ a \npreceq b$ , $a,b \in \mathbb{R}$
Jan
15
answered Construction Types or Type Constructions?
Jan
15
comment Construction Types or Type Constructions?
ok, but just to help me understand better the kind of individuals should have terms types or terms of types of that kind?
Jan
14
revised Image of homomorphism from ideal is ideal
corrected a mistake
Jan
14
comment Image of homomorphism from ideal is ideal
@rschwieb my bad I'll edit the answer
Jan
14
comment Image of homomorphism from ideal is ideal
The second being the requirement that $J$ have to contain $K$ (as you to supposed in your question). :)
Jan
14
answered Image of homomorphism from ideal is ideal
Jan
14
comment Construction Types or Type Constructions?
It's not so clear to me what you mean by kind. Can you give some more details about motivations? it would be very helpful in order to better understand what are you looking for.
Jan
14
awarded  Civic Duty
Jan
14
reviewed Approve suggested edit on Residue of a a complex quotient
Jan
13
answered Algebraic signatures as quivers; is there somewhere I can learn more about these definitions?