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)