2025-02-14 ブルバキ代数補足ノート更新: 自由半群, 自由群, 混合和など. 数学データ 日記 ブルバキ代数の補足ノートの pdf を更新しました. 更新箇所は pdf の 3.27, 3.28 です. 自由半群や半群の混合和の部分の定式化について, ブルバキ集合論の universal mapping problem の一般論を適用し, 効率的にその定式化を行なっております. ただ, 選択公理は使います.