圏，関手，自然変換などは1940年代に導入された比較的新しい概念である。しかし今では，数学だけでなく，計算機科学や理論物理学などさまざまな分野の背後にある共通の構造が圏論によって明らかにされてきてい･･･