In
category theory, a
span,
roof or
correspondence is a generalization 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.