アブラムスキー・クック対応

論理学、物理学、計算機科学の三つ巴の圏論的対応

3分野を跨る圏論的対応を見出すことができる

例えば、ある部分構造論理の圏と、量子力学の圏と、関数型言語の圏の対応など

参考