Comonoid object

Category of comonoid objects

The category of comonoids in , denoted is a category where an object is a comonoid object in and a morphism is a comonoid morphism. #m/def/cat

As the cartesian completion of a symmetric monoidal category

From the dual result, it immediately follows that if is a symmetric monoidal category, then is a cartesian category under the natural tensor product. #m/thm/cat

There is an evident forgetful functor , monoidal if is symmetric.
=

#state/tidy | #lang/en | #SemBr