モノイドを対象がひとつだけの圏とみなすと、両側モノイド作用（モノイドの双作用）はプロ関手だとみなせます。この種のプロ関手のコエンドは、一般の場合より簡単に構成できて、より具体的な表示を持ちます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcom…