ここ数ヶ月、定式化を整理していた、ブルバキ多様体。リー群の基本のところを含めて、一段落しました。 資料はこちら。 他にも、微分多様体の基礎 3, 4 (僕のノートをスキャナーで読み込んだやつです) も, 微分多様体の基礎 2, 6 (LaTeX 版) との重複部分を…