プログラミング言語への圏論の応用については別スレが望ましい
数理論理学、基礎論などへの応用も同様