@Julio – That's correct, the arrow *s* in the diagram is NOT the identity morphism – in fact the diagram is a graph not a category, so there is no concept of identity or composition (yet). We can turn it into a category by considering paths from *z* to *z* – in which case the identity is the path of length zero, ie "stay where you are".