Span (category theory)

In category theory a span is a generalisation of the notion of relation between two objects of a category. When the category has all pullbacks (and satisfies a small number of other conditions), spans can be considered as morphisms in a category of fractions.
See more at Wikipedia.org...