圏論 P２０

任意のモノイドNは台集合｜N|をもち、任意の準同型写像ｆ：N→Mは台写像｜ｆ｜：｜N|→｜M|をもつ。これが関手であることは容易に分かり、忘却関手と呼ばれる。

ここでは、Nがたとえば｛a,b,c..｝なら、｜N｜が｛ab,ac,,,,}といった連結を表すことになるのだろうか。

ここでの忘却関手は、ｆ：N→Mという圏（Mon)から|f|：｜N|→｜M|という圏（Sets)への関手ということだろうか。