Span (category theory)
= Span (category theory)
{wiki=Span_(category_theory)}
In category theory, the term "span" refers to a particular type of diagram involving two morphisms that "span" a common object. More formally, a span consists of two objects \\( A \\) and \\( B \\) and a third object \\( C \\) along with two morphisms \\( f: A \\to C \\) and \\( g: B \\to C \\).