कार्टेशियन बंद श्रेणी में तीरों और घातीय वस्तुओं के बीच अंतर क्या है?


21

एक में कार्तीय बंद श्रेणी ( सीसीसी ), वहाँ तथाकथित मौजूद घातीय वस्तुओं , लिखा । जब CCC को बस टाइप किए गए -calculus के मॉडल के रूप में माना जाता है , तो जैसी एक घातीय वस्तु प्रकार से टाइप तक के फंक्शन स्पेस की विशेषता होती है । एक घातीय वस्तु को नामक एक तीर द्वारा पेश किया जाता और एक तीर द्वारा हटा दिया जिसे जाता है (जो दुर्भाग्य से कहा जाता हैλ बी बी सी यू आर आर वाई : ( एक × बी सी ) ( एक सी बी ) एक पी पी एल y : सी बी × बी सी वी एक एल सी बी बी सीBAλBAABcurry:(A×BC)(ACB)apply:CB×BCevalश्रेणी सिद्धांत पर अधिकांश ग्रंथों में)। यहाँ मेरा प्रश्न है: क्या घातीय वस्तु , और तीर कोई अंतर ?CBBC


3
एक श्रेणी में यह घातीय वस्तु है , लेकिन प्रकार के सिद्धांत में इसे घातीय प्रकार कहा जा सकता है ।
बालि बाउर

यह एक शोध स्तर का प्रश्न नहीं है। सीएस-एक्सचेंज में स्थानांतरित करें?
एंड्रिया अस्पररी

जवाबों:


34

एक आंतरिक है और दूसरा बाहरी है

एक श्रेणी में ऑब्जेक्ट और मॉर्फिज्म होते हैं। जब हम f लिखते हैं : A B का अर्थ है कि f , ऑब्जेक्ट A से ऑब्जेक्ट B तक का आकार है । हम से सभी morphisms एकत्र कर सकते हैं एक करने के लिए बी एक में morphisms के सेट एच मीटर सी ( एक , बी ) , "Hom-सेट" कहा जाता है। यह सेट C की वस्तु नहीं है , बल्कि सेट की श्रेणी की वस्तु है।Cf:ABfABAB HomC(A,B)C

इसके विपरीत, एक घातांक C में एक वस्तु है । यह " सी अपने होम-सेट्स के बारे में सोचता है"। इस प्रकार, बी को सी की वस्तुओं को जो भी संरचना से सुसज्जित किया जाना चाहिए ।BACCBAC

एक उदाहरण के रूप में, आइए हम टोपोलॉजिकल स्पेस की श्रेणी पर विचार करें। फिर , X से Y तक का निरंतर मानचित्र है , और H o m t o p ( X , Y ) ऐसे सभी निरंतर मानचित्रों का समूह है। लेकिन वाई एक्स , अगर यह मौजूद है, तो एक सामयिक स्थान है! आप यह साबित कर सकते हैं कि Y X के बिंदु X से Y तक के निरंतर मानचित्रों के साथ (विशेषण पत्राचार में) हैं । वास्तव में, यह सामान्य रूप से होता है: आकारिकी 1 बी f:XYXYHomTop(X,Y)YXYXXY1BA(जो "के वैश्विक अंक ") morphisms साथ द्विभाजित पत्राचार में कर रहे हैं एक बी , क्योंकि एच मीटर ( 1 , बी ) एच मीटर ( 1 × एक , बी ) एच मीटर ( एक , बी ) BAAB

Hom(1,BA)Hom(1×A,B)Hom(A,B).

कभी-कभी हम A B के विपरीत लिखने के बारे में सुस्त हो जाते हैं । वास्तव में, अक्सर ये दोनों पर्यायवाची होते हैं, इस समझ के साथ कि f : A B का अर्थ "ओह, जिस तरह से यहाँ मैं अन्य संकेतन से आशय रखता था, इसलिए इसका अर्थ है कि A , A से B तक का आकारिकी है ।" उदाहरण के लिए, जब आप currying आकारिता नीचे लिखा करी : ( एक × बी सी ) ( एक सी बी ) तुम सच में लिखा जाना चाहिए था करी :BAABf:ABfAB

curry:(A×BC)(ACB)
इसलिए हम वास्तव में किसी को यहाँ भ्रमित होने के लिए दोषी नहीं ठहरा सकते हैं। आंतरिक आंतरिक अर्थों में प्रयोग किया जाता है, और बाहरी में बाहरी।
curry:CA×B(CB)A.

अगर हम केवल टाइप किए गए -calculus में काम करते हैं तो सब कुछ आंतरिक है, इसलिए बोलना है। हमारे पास बस एक मूल टाइपिंग निर्णय है " t has type B ", जिसे t : B लिखा जाता है । क्योंकि यहाँ B एक प्रकार है, और प्रकार वस्तुओं के अनुरूप हैं, तो हमें स्पष्ट रूप से आंतरिक अर्थों में B में किसी भी घातांक और तीर को इंटरप्ट करना होगा । तो, अगर हम करी को समझते हैं : ( A × B C ) ( A C B ) λ -calculus में एक टाइपिंग निर्णय के रूप में , सभीλtBt:BBB

curry:(A×BC)(ACB)
λतीर आंतरिक हैं, इसलिए यह के समान है : ( ( सी बी ) ) सी × बी मुझे उम्मीद है कि अब तक यह स्पष्ट है कि लोग B A और A B को समानार्थक शब्द के रूप में क्यों उपयोग करते हैं।
curry:((CB)A)CA×B.
BAAB

महान जवाब के लिए धन्यवाद, पूरी तरह से रहस्य को दूर करना।
दिन

वास्तव में! महान व्याख्या!
उदय रेड्डी

तो कौन सा आंतरिक है और कौन सा बाहरी है?
CMCDragonkai
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.