cocategory

noun1

1. •
   The dual of a category.

   • Among the new results there is the existence of a closed monoidal structure on the category of cocomplete augmented cocategories over a ground field k. — 2007