nLab
cocategory

A small cocategory is a category internal to ${\mathrm{Set}}^{\mathrm{op}}$, the opposite category of Set.

If $C$ is finitely cocomplete, there is a notion of cocategory internal to $C$, namely a comonad in the bicategory of cospans in $C$.