- #1
MathematicalPhysicist
Gold Member
- 4,691
- 369
"for each object A there is an arrow id_A called the identity of A whose source and target are both A."
wouldnt this definition imply that id_A is a point instead of an arrow?
if not help me visualise this.
btw this should be the notation id_A:A->A
wouldnt this definition imply that id_A is a point instead of an arrow?
if not help me visualise this.
btw this should be the notation id_A:A->A