24/12/23 23:42:36.13 0TFDkvD3.net
むかし
個別の数、図形、関数などが研究対象
0, 1, 2, √2, e, π, 多角形, 円, y = x^2, y = e^x, ...
カントール以後
それらの集合がみたす性質が研究対象
ℕは整列、ℝは完備、ベクトル空間、環、コンパクト、ハウスドルフ、...
アイレンベルク、マックレーン以後
対象の圏における性質が研究対象
自然変換、米田の補題、普遍性（テンソル積、射影加群、入射加群、順極限、逆極限、...）、双対、随伴、導来関手、...
→？？？