I'm having some trouble understanding Example 3.6 in the textbook. It seems to suggest the small circle arrow on the object is **not** the _identity morphism_ but a _path of length 1_. Then how is the identity morphism represented as an arrow? I can't think of any other way than drawing an arrow from an object to itself (hence a path of length 1)...