エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-01-29から1日間の記事一覧

論理計算と随伴関手(2)

随伴関手の説明をする前に自由群などについて説明をしておきます。 半群・モノイド・群の定義 集合 と結合律を満たす二項演算(積と呼びます) の組 半群と言います。単位元を持つ半群をモノイドと呼びます。モノイドが任意の元に対して逆元を持つとき群と呼び…