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

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

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