随伴関手の説明をする前に自由群などについて説明をしておきます。 半群・モノイド・群の定義 集合 と結合律を満たす二項演算(積と呼びます) の組 半群と言います。単位元を持つ半群をモノイドと呼びます。モノイドが任意の元に対して逆元を持つとき群と呼び…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。