Morphism of Spans

A morphism $f:{{R}\to{S}}$ is a morphism of spans $(A\leftarrow R\to B)\Rightarrow(A\leftarrow S\to B)$ the following diagram commutes:

We can also consider a "non-vertical" notion of span morphism, which allows replaces the two triangles with squares.