今日までの数学 2022/11/19

今日の時点では,

[1] ホモトピー論で, Strong join の結合法則の定式化の終了.

ノートはこちら.

[2] ブルバキ積分論で, 逆極限のハール測度の定式化の途中まで.