# nLab cocategory

A small cocategory is a category internal to $Set^{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$.

Revised on January 16, 2009 03:10:32 by Todd Trimble (69.118.56.215)