A **cospan** in a category $\mathcal{C}$ is a diagram $A \;\xrightarrow{\;\;f\;\;} \;C \;\xleftarrow{\;\;g\;\;} \;B$ where $f: A \to C$ and $g: B \to C$ are morphisms in $\mathcal{C}$.