एक आंतरिक है और दूसरा बाहरी है ।
एक श्रेणी में ऑब्जेक्ट और मॉर्फिज्म होते हैं। जब हम f लिखते हैं : A → B का अर्थ है कि f , ऑब्जेक्ट A से ऑब्जेक्ट B तक का आकार है । हम से सभी morphisms एकत्र कर सकते हैं एक करने के लिए बी एक में morphisms के सेट एच ओ मीटर सी ( एक , बी ) , "Hom-सेट" कहा जाता है। यह सेट C की वस्तु नहीं है , बल्कि सेट की श्रेणी की वस्तु है।Cf:A→BfABAB HomC(A,B)C
इसके विपरीत, एक घातांक C में एक वस्तु है । यह " सी अपने होम-सेट्स के बारे में सोचता है"। इस प्रकार, बी ए को सी की वस्तुओं को जो भी संरचना से सुसज्जित किया जाना चाहिए ।BACCBAC
एक उदाहरण के रूप में, आइए हम टोपोलॉजिकल स्पेस की श्रेणी पर विचार करें। फिर , X से Y तक का निरंतर मानचित्र है , और H o m t o p ( X , Y ) ऐसे सभी निरंतर मानचित्रों का समूह है। लेकिन वाई एक्स , अगर यह मौजूद है, तो एक सामयिक स्थान है! आप यह साबित कर सकते हैं कि Y X के बिंदु X से Y तक के निरंतर मानचित्रों के साथ (विशेषण पत्राचार में) हैं । वास्तव में, यह सामान्य रूप से होता है: आकारिकी 1 → बी एf:X→YXYHomTop(X,Y)YXYXXY1→BA(जो "के वैश्विक अंक ") morphisms साथ द्विभाजित पत्राचार में कर रहे हैं एक → बी , क्योंकि
एच ओ मीटर ( 1 , बी ए ) ≅ एच ओ मीटर ( 1 × एक , बी ) ≅ एच ओ मीटर ( एक , बी ) ।BAA→B
Hom(1,BA)≅Hom(1×A,B)≅Hom(A,B).
कभी-कभी हम A → B के विपरीत लिखने के बारे में सुस्त हो जाते हैं । वास्तव में, अक्सर ये दोनों पर्यायवाची होते हैं, इस समझ के साथ कि f : A → B का अर्थ "ओह, जिस तरह से यहाँ मैं अन्य संकेतन से आशय रखता था, इसलिए इसका अर्थ है कि A , A से B तक का आकारिकी है ।" उदाहरण के लिए, जब आप currying आकारिता नीचे लिखा
करी : ( एक × बी → सी ) → ( एक → सी बी )
तुम सच में लिखा जाना चाहिए था
करी :BAA→Bf:A→BfAB
curry:(A×B→C)→(A→CB)
इसलिए हम वास्तव में किसी को यहाँ भ्रमित होने के लिए दोषी नहीं ठहरा सकते हैं। आंतरिक
→ आंतरिक अर्थों में प्रयोग किया जाता है, और बाहरी में बाहरी।
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×B→C)→(A→CB)
λतीर आंतरिक हैं, इसलिए यह
के समान है
: ( ( सी बी ) ए ) सी ए × बी ।
मुझे उम्मीद है कि अब तक यह स्पष्ट है कि लोग
B A और
A → B को समानार्थक शब्द के रूप में क्यों उपयोग करते हैं।
curry:((CB)A)CA×B.
BAA→B