圏論

圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論である。サミュエル・アイレンベルグとソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。