- #1

MathematicalPhysicist

Gold Member

- 4,285

- 201

## Main Question or Discussion Point

"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