圏論

• 対象の類と射の類によって与えられる概念
  • 「対象と射」は「モノと矢印」と考える
  • それ自体には個性も内在的性質も持たないただの記号
• Saunders Mac LaneとSamuel Eilenbergが1940年代に導入
  • 代数とトポロジーでそれぞれ同じ現象に取り組んでいることに気づいた

数学