Cocomplete category (source code)

= Cocomplete category
{wiki}

A category is cocomplete when it has every small colimit.