自然変換
自然変換は、1940年代初頭の数学者が非形式的に使っていた「自然な」同型あるいは「自然な」同相射という概念の定式化として、1942年にアイレンベルグとマックレーンによって導入された。1945年にはこの2人によって "General Theory of Natural Equivalences" (直訳: 自然同値の一般理論) が発表され、これによって自然変換の理論が定式化された。1940年代後半にはホモロジー論や抽象代数の分野においてこの概念が適用されはじめ、その後グロタンディークらによって代数幾何に、ローヴェアなどによって論理学に、その後も計算機科学、言語学、認知科学、哲学などの様々な分野において応用が見られるようになった。
自然変換および自然性は圏論における基礎的な概念の1つである。マックレーンは『圏論の基礎』の中で『圏』は『函手』を定義可能にするために定義され,『函手』は『自然変換』を定義可能にするために定義されてきたのである.(Mac Lane 2012, pp. 22–23) と記している。