圏論は第二次世界大戦中にアメリカの数学者Samuel EilenbergとSaunders MacLaneによって構築されました。 当初は純粋数学の一理論でしたが、現在ではプログラミングやデータベース等、様々な分野に応用されるようになっています。 ここまで大きく広がった圏論...