自由構成と忘却関手
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)
自由対象は全て忘却関手の左随伴の例となる。ここで忘却関手は代数的対象をその台集合に写す。これらの代数的な自由関手に対しても、上記の自由群に詳細に記述したものと同様のことが一般に成り立つ。
※この「自由構成と忘却関手」の解説は、「随伴関手」の解説の一部です。
「自由構成と忘却関手」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。
- 自由構成と忘却関手のページへのリンク