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

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

2021-07-07から1日間の記事一覧

代数的構造による圏論(10)

随伴(1) 自由マグマ まず基本になると思われる自由マグマから始めます。 マグマ 集合 が二項演算 を持つとき をマグマと呼びます。単に と表すこともあります。 部分マグマ をマグマとします。 に対して と書くことにします。 が を満たすとき は の への制…