6,201 reputation
1625
bio website poisson.phc.unipi.it/~mossa
location Earth
age 26
visits member for 3 years, 4 months
seen 10 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
23
comment Category theory - where is my error?
as you defined else where a digraph morphism is a function between the sets of vertex of graph. Since $\epsilon$ is morphism from the digraph $MOR(A;B) \times A$ to the digraph $B$ it cannot be applied to edges, so $p$ and $q$ must be both vertesx of the digraphs.
Nov
22
comment Category theory - where is my error?
More importantly why should you apply an edge to a graph morphisms?
Nov
22
comment Category theory - where is my error?
It works just for generalized elements, not for object in general.
Nov
22
comment Category theory - where is my error?
as I told you your equation is wrong also for other reason: is not true that $-(1_{MOR(A;B)})(p;q)=1_{MOR(A;B)}(p)(q)$
Nov
22
comment Category theory - where is my error?
could you link any reference to a complete description of $MOR(A;B)$?
Nov
22
comment Is there any point in a logician studying $\infty$-categories?
@MaliceVidrine maybe I've something but I've to search in my list of downloaded preprint. So if you can be a little patient I'll try to take a look :)
Nov
22
comment Differences between nilpotent and pointwise nilpotent endomorphisms.
@user As you wished here's the counterexample :)
Nov
22
revised Differences between nilpotent and pointwise nilpotent endomorphisms.
added 1520 characters in body
Nov
22
answered Differences between nilpotent and pointwise nilpotent endomorphisms.
Nov
21
comment Category theory - where is my error?
objects are digraphs...so morphisms are morphisms of digraphs, and so functions between the vertex-sets of the digraphs preserving the relation of the digraphs. Am I wrong?
Nov
21
answered Category theory - where is my error?
Nov
21
comment Category theory - where is my error?
if $\epsilon$ is a morphism of digraphs $p$ and $q$ shouldn't be vertexes in the digraphs respectively $MOR(A;B)$ and $A$?
Nov
21
comment Category theory - where is my error?
Your notation is not clear: what you mean by $\epsilon(p;q)$ the application of the digraphs $p$ and $q$ to $\epsilon$? in that case why you should be allowed to do the third passage, namely $1_{MOR(A;B)}(p)(q)$?
Nov
21
comment Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
@MauroALLEGRANZA I've made some changes, let me know if this answer your question :)
Nov
21
revised Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
added 660 characters in body
Nov
21
comment Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
@MauroALLEGRANZA Apparently there has been passed long time since I've read Mendelson's book and I've forgotten some of the basic definition. Soon I'll gonna edit the answer. I've to sort some things out, be a little patient :) My apologize for mine mistake.
Nov
21
revised Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
added 223 characters in body
Nov
21
answered Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
Nov
21
revised Elliott Mendelson, Introduction to Mathematical Logic [fourth edition] - definition of logical consequence
made some grammar and Latex corrections
Nov
19
answered How much Category theory one must learn?