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 \).