Cospan¶
Let \(J\) be a category that has three objects, \(\alpha\), \(\beta\), and \(\gamma\), and non-identity morphisms \(f: \alpha \to \gamma\) and \(g: \beta \to \gamma\). A cospan is a diagram indexed by such a category. The (co)limit of a cospan is called a pullback (pushout).