Reputation
7,501
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 32
Newest
 Informed
Impact
~86k people reached

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?
Nov
19
answered Is there any point in a logician studying $\infty$-categories?
Nov
19
revised Prove that this polynomial is irreducible over $\mathbb Z$
added stuff
Nov
19
answered Prove that this polynomial is irreducible over $\mathbb Z$
Nov
17
answered 1-Cocycle of an Algebra
Nov
17
comment 1-Cocycle of an Algebra
Co-cycle are a general concept which arise in the context of homological algebra. It would be helpful if you could also add the reference to where are you studying about this co-cycles.
Nov
16
revised $G$ is Abelian if it has no element of order $2$ and $(ab)^2=(ba)^2$
deleted 1 characters in body
Nov
16
answered Products, Naturality and Functors
Nov
15
comment Permutation representation argument validity
No suggestion or correction, your proof is correct.