करी-हावर्ड-लाम्बक से शुरू होकर, प्रकार के सिद्धांत, तर्कशास्त्र और श्रेणियों का एक अच्छा ट्रिनिटी रहा है। मुझे उत्सुकता है कि एक प्रकार के सिद्धांत के साथ जोड़ते समय आपको कौन सा स्पष्ट शब्दार्थ मिलता है (जबरदस्ती) - ऐसा लगता है कि यह बहुत खोजबीन नहीं की गई है, यदि बिल्कुल।
सामान्य तौर पर, एक प्रकार के सिद्धांत में जबरदस्त उपप्रकार जोड़ने से इसके मेटा-थेरैटिक गुणों जैसे मजबूत सामान्यीकरण को बर्बाद नहीं किया जाता है, इसलिए इसका श्रेणीबद्ध शब्दार्थ वास्तविक हित के बारे में कुछ होना चाहिए, मुझे लगता है!