kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

ブルバキ代数補足ノート更新: 自由半群, 自由群, 混合和など.

ブルバキ代数の補足ノートの pdf を更新しました.

更新箇所は pdf の 3.27, 3.28 です.

自由半群半群の混合和の部分の定式化について, ブルバキ集合論の universal mapping problem の一般論を適用し, 効率的にその定式化を行なっております. ただ, 選択公理は使います.