圏論では、形容詞的接頭辞として「余（co）」や「双（bi）」をよく使います。しかし、その使い方が統一されているわけではありません。用語法は歴史的な積み重ねの産物なので、必ずしも整合的とは言えないのです。モノイド、余モノイド、双モノイド「余」と…