कार्टेशियन संवृत श्रेणी: Difference between revisions

From Vigyanwiki
No edit summary
Line 1: Line 1:
{{Short description|Type of category in category theory}}
{{Short description|Type of category in category theory}}
[[श्रेणी सिद्धांत]] में, एक [[श्रेणी (गणित)]] कार्टेशियन बंद है, यदि मोटे तौर पर बोलना, दो [[वस्तु (श्रेणी सिद्धांत)]] के [[उत्पाद (श्रेणी सिद्धांत)]] पर परिभाषित किसी भी रूपवाद को स्वाभाविक रूप से कारकों में से एक पर परिभाषित आकारिकी के साथ पहचाना जा सकता है। ये श्रेणियां [[गणितीय तर्क]] और प्रोग्रामिंग के सिद्धांत में विशेष रूप से महत्वपूर्ण हैं, जिसमें उनकी [[आंतरिक भाषा]] सरल रूप से टाइप की गई लैम्ब्डा कैलकुलस है। वे [[बंद मोनोइडल श्रेणी]] द्वारा सामान्यीकृत हैं, जिनकी आंतरिक भाषा, रैखिक प्रकार की प्रणालियाँ, क्वांटम संगणना और शास्त्रीय संगणना दोनों के लिए उपयुक्त हैं।<ref name=":0">{{cite book |first1=John C. |last1=Baez |author1-link=John C. Baez |first2=Mike |last2=Stay |arxiv=0903.0340 |chapter=Physics, Topology, Logic and Computation: A Rosetta Stone |chapter-url=http://math.ucr.edu/home/baez/rosetta/rose3.pdf |doi=10.1007/978-3-642-12821-9_2 |citeseerx=10.1.1.296.1044 |title=भौतिकी के लिए नई संरचनाएं|editor-first=Bob |editor-last=Coecke |publisher=Springer |series=Lecture Notes in Physics |volume=813 |date=2011 |isbn=978-3-642-12821-9 |pages=95–174 |s2cid=115169297 |url=}}</ref>
[[श्रेणी सिद्धांत]] में, एक [[श्रेणी (गणित)]] कार्टेशियन बंद है, यदि मोटे तौर पर बोलना, दो [[वस्तु (श्रेणी सिद्धांत)]] के [[उत्पाद (श्रेणी सिद्धांत)]] पर परिभाषित किसी भी आकारिकी को स्वाभाविक रूप से कारकों में से एक पर परिभाषित आकारिकी के साथ पहचाना जा सकता है। ये श्रेणियां [[गणितीय तर्क]] और प्रोग्रामिंग के सिद्धांत में विशेष रूप से महत्वपूर्ण हैं, जिसमें उनकी [[आंतरिक भाषा]] सरल रूप से टाइप की गई लैम्ब्डा कैलकुलस है। वे [[बंद मोनोइडल श्रेणी]] द्वारा सामान्यीकृत हैं, जिनकी आंतरिक भाषा, रैखिक प्रकार की प्रणालियाँ, क्वांटम और शास्त्रीय संगणना दोनों के लिए उपयुक्त हैं।<ref name=":0">{{cite book |first1=John C. |last1=Baez |author1-link=John C. Baez |first2=Mike |last2=Stay |arxiv=0903.0340 |chapter=Physics, Topology, Logic and Computation: A Rosetta Stone |chapter-url=http://math.ucr.edu/home/baez/rosetta/rose3.pdf |doi=10.1007/978-3-642-12821-9_2 |citeseerx=10.1.1.296.1044 |title=भौतिकी के लिए नई संरचनाएं|editor-first=Bob |editor-last=Coecke |publisher=Springer |series=Lecture Notes in Physics |volume=813 |date=2011 |isbn=978-3-642-12821-9 |pages=95–174 |s2cid=115169297 |url=}}</ref>
 
[[श्रेणी सिद्धांत]] में, एक [[श्रेणी (गणित)]] काटीज़ियन बंद है, यदि मोटे तौर पर बोलना, दो [[वस्तु (श्रेणी सिद्धांत)]] के [[उत्पाद (श्रेणी सिद्धांत)]] पर परिभाषित किसी भी आकृतिवाद को स्वाभाविक रूप से कारकों में से एक पर परिभाषित आकारिकी से पहचाना जा सकता है। ये श्रेणियां [[गणितीय तर्क]] और प्रोग्रामिंग के सिद्धांत में विशेष रूप से महत्वपूर्ण हैं, जिसमें उनकी [[आंतरिक भाषा]] सामान्य रूप से टाइप की गई लैम्ब्डा गणना है। वे [[बंद मोनोइडल श्रेणी|बंद मोनोइडल श्रेणियों]] द्वारा सामान्यीकृत हैं, जिसकी आंतरिक भाषा, रैखिक प्रकार की प्रणालियाँ, क्वांटम और शास्त्रीय संगणना दोनों के लिए उपयुक्त हैं।<ref name=":0" />
 
 


== व्युत्पत्ति ==
== व्युत्पत्ति ==

Revision as of 18:08, 8 May 2023

श्रेणी सिद्धांत में, एक श्रेणी (गणित) कार्टेशियन बंद है, यदि मोटे तौर पर बोलना, दो वस्तु (श्रेणी सिद्धांत) के उत्पाद (श्रेणी सिद्धांत) पर परिभाषित किसी भी आकारिकी को स्वाभाविक रूप से कारकों में से एक पर परिभाषित आकारिकी के साथ पहचाना जा सकता है। ये श्रेणियां गणितीय तर्क और प्रोग्रामिंग के सिद्धांत में विशेष रूप से महत्वपूर्ण हैं, जिसमें उनकी आंतरिक भाषा सरल रूप से टाइप की गई लैम्ब्डा कैलकुलस है। वे बंद मोनोइडल श्रेणी द्वारा सामान्यीकृत हैं, जिनकी आंतरिक भाषा, रैखिक प्रकार की प्रणालियाँ, क्वांटम और शास्त्रीय संगणना दोनों के लिए उपयुक्त हैं।[1]

व्युत्पत्ति

रेने डेसकार्टेस (1596-1650), फ्रांसीसी दार्शनिक, गणितज्ञ और वैज्ञानिक के नाम पर, जिनके विश्लेषणात्मक ज्यामिति के निर्माण ने कार्टेशियन उत्पाद की अवधारणा को जन्म दिया, जिसे बाद में श्रेणीबद्ध उत्पाद की धारणा के लिए सामान्यीकृत किया गया।

परिभाषा

श्रेणी सी को कार्तीय बंद कहा जाता है [2] अगर और केवल अगर यह निम्नलिखित तीन गुणों को संतुष्ट करता है:

  • इसमें एक टर्मिनल वस्तु है।
  • C की किन्हीं दो वस्तुओं X और Y का उत्पाद (श्रेणी सिद्धांत) C में X ×Y है।
  • C की किन्हीं दो वस्तुओं Y और Z में C में एक घातीय वस्तु ZY है।

पहली दो स्थितियों को एकल आवश्यकता के साथ जोड़ा जा सकता है कि C की वस्तुओं का कोई भी परिमित (संभवतः खाली) परिवार C में एक उत्पाद स्वीकार करता है, क्योंकि श्रेणीगत उत्पाद की प्राकृतिक संबद्धता के कारण और क्योंकि किसी श्रेणी में खाली उत्पाद उस श्रेणी का टर्मिनल वस्तु है।

तीसरी शर्त आवश्यकता के बराबर है कि ऑपरेटर - ×Y (अर्थात C से C तक फ़ैक्टर जो ऑब्जेक्ट X से X ×Y और morphisms φ से φ × idY को मैप करता है) में एक सहायक कारक होता है, आमतौर पर निरूपित -Y, सभी वस्तुओं के लिए C में Y है।

स्थानीय रूप से छोटी श्रेणियों (गणित) के लिए, यह होम सेट के बीच एक आक्षेप के अस्तित्व द्वारा व्यक्त किया जा सकता है

जो X, Y और Z में प्राकृतिक परिवर्तन है।[3] इस बात का ध्यान रखें कि एक कार्तीय बंद श्रेणी की परिमित सीमाएँ होने की आवश्यकता नहीं है; केवल सीमित उत्पादों की गारंटी है।

यदि किसी श्रेणी के पास यह गुण है कि उसकी सभी स्लाइस श्रेणियां कार्टेशियन बंद हैं, तो इसे स्थानीय रूप से कार्टेशियन बंद कहा जाता है।[4] ध्यान दें कि यदि सी स्थानीय रूप से कार्टेशियन बंद है, तो इसे वास्तव में कार्टेशियन बंद होने की आवश्यकता नहीं है; ऐसा तब होता है जब और केवल तभी होता है जब सी में टर्मिनल ऑब्जेक्ट हो।

मूल निर्माण

मूल्यांकन

प्रत्येक वस्तु Y के लिए, घातीय संयोजन की गणना एक प्राकृतिक परिवर्तन है

(आंतरिक) मूल्यांकन मानचित्र कहा जाता है। अधिक सामान्यतः, हम आंशिक अनुप्रयोग मानचित्र को समग्र के रूप में बना सकते हैं

श्रेणी सेट के विशेष मामले में, ये सामान्य परिचालनों को कम करते हैं:

रचना

आकारिकी p : XY पर एक तर्क में घातांक का मूल्यांकन करने पर आकारिकी मिलती है

पी के साथ रचना के संचालन के अनुरूप। संचालन के अनुरूप। संक्रिया pZ के लिए वैकल्पिक संकेतन में p* और p∘- शामिल हैं। ऑपरेशन Zp के लिए वैकल्पिक नोटेशन में p* और -∘p शामिल हैं।

मूल्यांकन मानचित्रों को इस रूप में श्रृंखलित किया जा सकता है

घातीय संयोजन के तहत संबंधित तीर

(आंतरिक) रचना मानचित्र कहा जाता है।

श्रेणी सेट के विशेष मामले में, यह सामान्य रचना संक्रिया है:

खंड

आकृतिवाद p:X → Y के लिए, मान लें कि निम्न पुलबैक वर्ग मौजूद है, जो मानचित्रों के अनुरूप XY के सबऑब्जेक्ट को परिभाषित करता है, जिसका संयोजन p के साथ पहचान है:

जहां दाईं ओर का तीर pY है और नीचे का तीर Y पर पहचान के अनुरूप है। तब ΓY(p) को p के 'अनुभाग (फाइबर बंडल)' कहा जाता है। इसे अक्सर ΓY(X) के रूप में संक्षिप्त किया जाता है।

यदि ΓY(p) कोडोमेन Y के साथ प्रत्येक मोर्फिज्म p के लिए मौजूद है, तो इसे स्लाइस श्रेणी पर एक फ़ैक्टर ΓY : C/YC में इकट्ठा किया जा सकता है जो उत्पाद फ़ंक्टर के एक संस्करण के ठीक बगल में है:

Y द्वारा घातीय वर्गों के संदर्भ में व्यक्त किया जा सकता है:

उदाहरण

कार्तीय बंद श्रेणियों के उदाहरणों में शामिल हैं:

  • आकारिकी के रूप में फलन (गणित) के साथ सभी समुच्चयों (गणित) की श्रेणी समुच्चय, कार्तीय बंद है। उत्पाद X×Y X और Y, और Z का कार्तीय उत्पाद हैY Y से Z तक सभी कार्यों का सेट है। आसन्नता निम्नलिखित तथ्य द्वारा व्यक्त की जाती है: फ़ंक्शन f : X×Y → Z को करींग फ़ंक्शन g : X → Z के साथ स्वाभाविक रूप से पहचाना जाता हैY को g(x)(y) = f(x,y) द्वारा X में सभी x और Y में y के लिए परिभाषित किया गया है।
  • परिमित सेट सेट की श्रेणी, आकारिकी के रूप में कार्यों के साथ, कार्टेशियन उसी कारण से बंद है।
  • यदि जी एक समूह (गणित) है, तो सभी समूह क्रिया (गणित) की श्रेणी | जी-सेट कार्टेशियन बंद है। यदि Y और Z दो G-सेट हैं, तो ZY, Y से Z तक सभी फ़ंक्शन का सेट है जिसमें G क्रिया परिभाषित है (g.F)(y) = F(g)−1.y) G में सभी g के लिए, F:Y → Z और y Y में।
  • परिमित जी-सेट की श्रेणी भी कार्तीय बंद है।
  • सभी छोटी श्रेणियों की श्रेणी 'कैट' (मोर्फिज्म के रूप में फंक्शनलर्स के साथ) कार्टेशियन बंद है; घातीय सीडी कार्यात्मक श्रेणी द्वारा दिया जाता है जिसमें डी से सी तक के सभी कारक शामिल होते हैं, प्राकृतिक परिवर्तनों के रूप में morphisms के साथ।
  • यदि C एक छोटी श्रेणी है, तो फ़ंक्टर श्रेणी 'सेट'C सेट की श्रेणी में C से सभी सहपरिवर्ती फलनकारियों से मिलकर बनता है, आकारिकी के रूप में प्राकृतिक परिवर्तनों के साथ, कार्टेशियन बंद है। यदि F और G, C से 'सेट' के दो कारक हैं, तो घातीय FG वह फ़ंक्टर है जिसका मान C के ऑब्जेक्ट X पर सभी प्राकृतिक परिवर्तनों के सेट द्वारा दिया गया है (X,−) × G से एफ.
    • जी-सेट के पहले के उदाहरण को फ़ंक्टर श्रेणियों के एक विशेष मामले के रूप में देखा जा सकता है: प्रत्येक समूह को एक-ऑब्जेक्ट श्रेणी के रूप में माना जा सकता है, और जी-सेट इस श्रेणी से 'सेट' के फ़नकार के अलावा और कुछ नहीं हैं
    • सभी ग्राफ सिद्धांत की श्रेणी कार्तीय बंद है; यह एक फ़ंक्टर श्रेणी है जैसा कि फ़ैक्टर श्रेणी के अंतर्गत समझाया गया है।
    • विशेष रूप से, साधारण सेटों की श्रेणी (जो फ़ैक्टर X हैं: Δop → सेट) कार्तीय बंद है।
  • इससे भी अधिक आम तौर पर, प्रत्येक प्राथमिक topos कार्टेशियन बंद होता है।
  • बीजगणितीय टोपोलॉजी में, कार्तीय बंद श्रेणियों के साथ काम करना विशेष रूप से आसान है। न तो निरंतर कार्य (टोपोलॉजी) मानचित्रों के साथ टोपोलॉजिकल स्पेस स्थान की श्रेणी और न ही चिकने मानचित्रों के साथ कई गुना की श्रेणी कार्टेशियन बंद है। स्थानापन्न श्रेणियों पर इसलिए विचार किया गया है: सघन रूप से उत्पन्न हौसडॉर्फ रिक्त स्थान की श्रेणी कार्तीय बंद है, जैसा कि फ्रोलीचर रिक्त स्थान की श्रेणी है।
  • आदेश सिद्धांत में, पूर्ण आंशिक आदेश (सीपीओ) में एक प्राकृतिक टोपोलॉजी है, स्कॉट टोपोलॉजी, जिसके निरंतर नक्शे एक कार्टेशियन बंद श्रेणी बनाते हैं (अर्थात, वस्तुएं cpos हैं, और आकारिकी स्कॉट हैं निरंतर मानचित्र)। स्कॉट टोपोलॉजी में करीइंग और लागू करें दोनों निरंतर कार्य हैं, और करींग, लागू करने के साथ, आसन्न प्रदान करते हैं।[5] * एक हेटिंग बीजगणित एक कार्तीय बंद (परिबद्ध) जाली (क्रम) है। टोपोलॉजिकल स्पेस से एक महत्वपूर्ण उदाहरण सामने आता है। यदि X एक टोपोलॉजिकल स्पेस है, तो X में खुले सेट एक श्रेणी O (X) की वस्तुओं का निर्माण करते हैं, जिसके लिए U से V तक एक अद्वितीय आकारिकी है यदि U, V का एक उपसमुच्चय है और अन्यथा कोई आकारिकी नहीं है। यह poset एक कार्तीय बंद श्रेणी है: U और V का गुणनफल U और V का प्रतिच्छेदन है और चरघातांकी UV का आंतरिक (टोपोलॉजी) है U∪(X\V).
  • शून्य वस्तु वाली एक श्रेणी कार्टेशियन बंद है अगर और केवल अगर यह केवल एक वस्तु और एक पहचान रूपवाद वाली श्रेणी के बराबर है। दरअसल, अगर 0 प्रारंभिक वस्तु है और 1 अंतिम वस्तु है और हमारे पास है , तब जिसमें केवल एक ही तत्व हो।[6]
    • विशेष रूप से, शून्य वस्तु वाली कोई गैर-तुच्छ श्रेणी, जैसे एबेलियन श्रेणी, कार्टेशियन बंद नहीं है। तो मॉड्यूल (गणित) की श्रेणी कार्टेशियन बंद नहीं है। हालांकि, functor टेंसर उत्पाद एक निश्चित मॉड्यूल के साथ एक Tensor-hom adjunction होता है। टेंसर उत्पाद एक श्रेणीबद्ध उत्पाद नहीं है, इसलिए यह उपरोक्त का खंडन नहीं करता है। हम इसके बजाय प्राप्त करते हैं कि मॉड्यूल की श्रेणी मोनोइडल बंद श्रेणी है।

स्थानीय रूप से कार्तीय बंद श्रेणियों के उदाहरणों में शामिल हैं:

  • हर प्राथमिक टोपोस स्थानीय रूप से कार्टेशियन बंद है। इस उदाहरण में सेट, फिनसेट, जी- समूह जी के लिए सेट, साथ ही सेट शामिल हैंC छोटी श्रेणियों के लिए C.
  • श्रेणी LH जिसकी वस्तुएँ टोपोलॉजिकल स्पेस हैं और जिनकी आकृतियाँ स्थानीय होमोमोर्फिज़्म हैं, स्थानीय रूप से कार्टेशियन बंद है, क्योंकि LH / X शीशों की श्रेणी के बराबर है . हालांकि, एलएच के पास टर्मिनल ऑब्जेक्ट नहीं है, और इस प्रकार कार्टेशियन बंद नहीं है।
  • यदि C में पुलबैक है और प्रत्येक तीर के लिए p : X → Y, फ़ंक्टर p* : C/Y → पुलबैक लेकर दिए गए C/X का दाहिना जोड़ है, तो C स्थानीय रूप से कार्टेशियन बंद है।
  • यदि C स्थानीय रूप से कार्टेशियन बंद है, तो इसकी सभी स्लाइस श्रेणियां C/X भी स्थानीय रूप से कार्टेशियन बंद हैं।

स्थानीय रूप से कार्तीय बंद श्रेणियों के गैर-उदाहरणों में शामिल हैं:

  • 'कैट' स्थानीय रूप से कार्टेशियन बंद नहीं है।

अनुप्रयोग

कार्तीय बंद श्रेणियों में, एक दो चरों का एक फलन (एक आकारिकी f : X×YZ) हमेशा एक चर के फलन के रूप में दर्शाया किया जा सकता है (आकृतिवाद λf : XZY)। कंप्यूटर विज्ञान अनुप्रयोगों में, इसे करींग (गणित) के रूप में जाना जाता है; इससे यह अहसास हुआ है कि सामान्य रूप से टाइप किए गए लैम्ब्डा कैलकुलस की व्याख्या किसी भी कार्टेशियन बंद श्रेणी में की जा सकती है।

करी-हावर्ड-लैम्बेक पत्राचार अंतर्ज्ञानवादी तर्क, सरल रूप से टाइप किए गए लैम्ब्डा कैलकुलस और कार्टेशियन बंद श्रेणियों के बीच एक गहरी समरूपता प्रदान करता है।।

कुछ कार्तीय बंद श्रेणियां, टोपोई, को पारंपरिक सेट सिद्धांत के बजाय गणित के लिए एक सामान्य सेटिंग के रूप में प्रस्तावित किया गया है।

प्रसिद्ध कंप्यूटर वैज्ञानिक जॉन बैकस ने एक चर-मुक्त संकेतन, या फंक्शन-लेवल प्रोग्रामिंग की वकालत की है, जो पूर्वव्यापी रूप से कार्टेशियन बंद श्रेणियों की आंतरिक भाषा में कुछ समानता रखता है। कैमल(प्रोग्रामिंग भाषा) अधिक सचेत रूप से कार्टेशियन बंद श्रेणियों पर आधारित है।

निर्भर राशि और उत्पाद

बता दें कि C स्थानीय रूप से कार्टेशियन बंद श्रेणी है। फिर C में सभी पुलबैक हैं, क्योंकि कोडोमेन Z के साथ दो तीरों का पुलबैक C/Z में उत्पाद द्वारा दिया गया है।

प्रत्येक तीर p : XY, के लिए, मान लीजिए कि P, C/Y की संबंधित वस्तु को निरूपित करता है। p के साथ पुलबैक लेने से एक फ़ैक्टर p* : C/YC/X मिलता है जिसमें एक बाएँ और दाएँ दोनों संलग्न होते हैं।

बायां जोड़ आश्रित योग कहा जाता है और रचना द्वारा दिया जाता है .

दाहिना जोड़ आश्रित उत्पाद कहा जाता है।

C/Y में P द्वारा घातांक सूत्र द्वारा निर्भर उत्पाद के संदर्भ में व्यक्त किया जा सकता है .

इन नामों का कारण यह है कि जब P की व्याख्या एक आश्रित प्रकार के रूप में की जाती है , फलन और टाइप फॉर्मेशन के अनुरूप है और क्रमशः।

समतामूलक सिद्धांत

प्रत्येक कार्टेशियन बंद श्रेणी में (घातीय संकेतन का उपयोग करते हुए),(XY)Z और (XZ)Y सभी वस्तुओं X, Y और Z के लिए आइसोमोर्फिक हैं। हम इसे "समीकरण" के रूप में लिखते हैं।

(xy)z = (xz)y.

कोई यह पूछ सकता है कि ऐसे और कौन से समीकरण सभी कार्तीय संवृत्त श्रेणियों में मान्य हैं। यह पता चला है कि ये सभी निम्नलिखित स्वयंसिद्धों से तार्किक रूप से अनुसरण करते हैं:[7]

  • x×(y×z) = (x×y)×z
  • x×y = y×x
  • x×1 = x (यहाँ 1 C के टर्मिनल ऑब्जेक्ट को दर्शाता है)
    • 1x = 1
    • x1 = x
    • (x×y)z = xz×yz
    • (xy)z = x(y×z)

द्विकार्तीय बंद श्रेणियां

बिकार्टेशियन बंद श्रेणियां कार्टेशियन बंद श्रेणियों को बाइनरी सहउत्पाद और एक प्रारंभिक वस्तु के साथ विस्तारित करती हैं, जिसमें उत्पादों को कोप्रोडक्ट्स पर वितरित किया जाता है। उनके समीकरण सिद्धांत को निम्नलिखित स्वयंसिद्धों के साथ विस्तारित किया गया है, जो टार्स्की के उच्च विद्यालय के स्वयंसिद्धों के समान है, लेकिन एक शून्य के साथ:

  • x + y = y + x
  • (एक्स + वाई) + जेड = एक्स + (वाई + जेड)
  • x×(y + z) = x×y + x×z
  • एक्स(वाई + जेड) </सुप> = एक्सवाई×xजेड</सुप>
  • 0 + एक्स = एक्स
  • x×0 = 0
  • एक्स0 = 1

हालाँकि ध्यान दें कि उपरोक्त सूची पूर्ण नहीं है; मुक्त बीसीसीसी में टाइप आइसोमोर्फिज्म सूक्ष्म रूप से स्वयंसिद्ध नहीं है, और इसकी निर्णायकता अभी भी एक खुली समस्या है।[8]

संदर्भ

  1. Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). भौतिकी के लिए नई संरचनाएं. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. CiteSeerX 10.1.1.296.1044. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.
  2. Saunders, Mac Lane (1978). कामकाजी गणितज्ञ के लिए श्रेणियाँ (2nd ed.). Springer. ISBN 1441931236. OCLC 851741862.
  3. "nLab में कार्तीय बंद श्रेणी". ncatlab.org. Retrieved 2017-09-17.
  4. Locally cartesian closed category at the nLab
  5. Barendregt, H.P. (1984). "Theorem 1.2.16". लैम्ब्डा कैलकुलस. North-Holland. ISBN 0-444-87508-5.
  6. "Ct.category theory - is the category commutative monoids cartesian closed?".
  7. Solov'ev, S.V. (1983). "परिमित समुच्चयों की श्रेणी और कार्टेशियन बंद श्रेणियां". J Math Sci. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID 122693163.
  8. Fiore, M.; Cosmo, R. Di; Balat, V. (2006). "टाइप किए गए लैम्ब्डा कैलकुली में खाली और योग प्रकार के साथ आइसोमोर्फिज्म पर टिप्पणी" (PDF). Annals of Pure and Applied Logic. 141 (1–2): 35–50. doi:10.1016/j.apal.2005.09.001.

बाहरी संबंध