モノイド対象

圏論において、モノイド対象（モノイドたいしょう、） は、モノイド圏  が与えられたとき、 の対象  および二つの射（乗法:  および単位射:  の組を言う。ただし二つの射はそれぞれ、五角形図式  および単位子図式  を可換にするものでなければならない。上記の図式に現れる記号について、 はモノイド圏  の  に対する（自然同型を除く）単位元であり、三つの射  はそれぞれ  における（自然同型を除く）結合律、左単位律、右単位律を与える射である。

モノイド圏  におけるモノイド対象のことを、単にその圏の（内部）モノイドとも呼ぶ。これと双対的に、モノイド圏  の余モノイド対象 (comonoid) は双対圏  のモノイド対象を言う。

モノイド圏  が（すなわち、自然同型を除く対称律を定める射  を持つ）ならば、 のモノイド対象  が可換 (commutative) とは  となることを言う。

例 
 集合の圏 （に集合の直積をモノイド積とするモノイド圏の構造を入れたもの）におけるモノイド対象とは、通常の意味のモノイドである。
 位相空間の圏 （に位相空間の直積をモノイド積としたもの）におけるモノイド対象はという。
  （のモノイドの直積）に関するモノイド対象は、に他ならない。これはから容易に従う。
  （モノイド構造は半束の直積で入れる）のモノイド対象は単位的となる。
 アーベル群の成すモノイド圏  におけるモノイド対象は環である。
 可換環  に対し 
 -加群のモノイド圏  のモノイド対象は -結合多元環である。
 -次数付き加群の圏におけるモノイド対象は次数付き -多元環である。
 -鎖複体の圏におけるモノイド対象は次数付き微分多元環である。
 ベクトル空間の圏 （やはりテンソル積でモノイド構造を入れる）のモノイド対象は-代数であり、余モノイド対象は -余代数である。
 任意の圏  に対し、その自己函手の圏  は函手の合成および恒等函手  の誘導するモノイド構造を持つ。このモノイド圏  におけるモノイド対象は  のモナドである。
 有限積持つ任意の圏に対し、任意の対象は対角射  を通じて余モノイド対象となる。双対的に、有限余積持つ任意の圏において、任意の対象は  を通じてモノイド対象となる。

モノイド対象の圏 
モノイド圏  の二つのモノイド対象  と  に対し、射  がモノイド対象の射 (morphism of monoids) あるいはモノイド射 (monoid morphism) であるとは  および  を満たすときに言う。すなわち以下の図式

が可換となる。

圏  における全てのモノイド対象とそれらの間の全てのモノイド射の成す圏を などと書く。この書き方で通常のモノイドの圏は  と書ける。

関連項目 
 : 集合へのモノイド作用 (action on set) の圏

参考文献 

 Mati Kilp, Ulrich Knauer, Alexander V. Mikhalov, Monoids, Acts and Categories (2000), Walter de Gruyter, Berlin ISBN 3-11-015248-7

外部リンク 
 
  (Mon(C))

モノイド圏
対象 (圏論)
数学に関する記事