圏論は第二次世界大戦中にアメリカの数学者Samuel EilenbergとSaunders MacLaneによって構築されました。当初は純粋数学の一理論でしたが、現在ではプログラミングやデータベー…