The categories of monoids, comonoids and bimonoids over a symmetric monoidal category C are investigated. It is shown that all of them are locally presentable provided C's underlying category is. As a consequence numerous functors on and between these categories are shown to be part of an adjoint situation; in particular, the category of comonoids is monoidally closed.
No takes yet. Share an insight, caveat, or question.
Hans-E. Porst (2008) studied this question.