Apparently there is a difference between paths and morphisms. I believe the morphisms form an equivalence group over the paths.

For example, to which morphisms do the following paths belong?

$$ id_z $$
$$ s $$
$$ s.s $$
$$ s.id_z.s.s $$