最一般而概念上緊密嘅應用範疇就係喺啲閉包幺半範疇，嗰度就可以將褦埋證明同程式嘅Curry-Howard對應廣泛噉應用喺好多其他嘅結構，譬如量子力學、cobordisms同埋弦理論（string theory）。