ここまで読んできて、登場するコードの例のほとんどが関数型プログラミング（FP: Functional Programing）の例になっていることに気づいたかもしれません。実際、関数型プログラミングは圏論と密接に関連しながら発展してきました（してきたそうです）。