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

From Vigyanwiki
 
(54 intermediate revisions by 5 users not shown)
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" />
 
 


== व्युत्पत्ति ==
== व्युत्पत्ति ==
नाम के बाद {{w|René Descartes}} (1596-1650), फ्रांसीसी दार्शनिक, गणितज्ञ और वैज्ञानिक, जिनके विश्लेषणात्मक ज्यामिति के निर्माण ने कार्तीय उत्पाद की अवधारणा को जन्म दिया, जिसे बाद में [[श्रेणीबद्ध उत्पाद]] की धारणा के लिए सामान्यीकृत किया गया।
{{w|रेने डेसकार्टेस}} (1596-1650), फ्रांसीसी दार्शनिक, गणितज्ञ और वैज्ञानिक के नाम पर, जिनके विश्लेषणात्मक ज्यामिति के निर्माण ने कार्टेशियन उत्पाद की अवधारणा को जन्म दिया, जिसे पश्चात में [[श्रेणीबद्ध उत्पाद]] की धारणा के लिए सामान्यीकृत किया गया।
 
नाम के बाद {{w|René Descartes}} (1596-1650), फ्रांसीसी दार्शनिक, गणितज्ञ और वैज्ञानिक, जिनके विश्लेषणात्मक ज्यामिति के सूत्रीकरण ने कार्टेशियन उत्पाद की अवधारणा को जन्म दिया, जिसे बाद में [[श्रेणीबद्ध उत्पाद]] की धारणा के लिए सामान्यीकृत किया गया।


== परिभाषा ==
== परिभाषा ==
श्रेणी C को कार्टेशियन बंद कहा जाता है<ref>{{Cite book|title=कामकाजी गणितज्ञ के लिए श्रेणियाँ|last=Saunders|first=Mac Lane|date=1978|publisher=Springer |isbn=1441931236|edition=2nd|oclc=851741862}}</ref> [[अगर और केवल अगर]] यह निम्नलिखित तीन गुणों को संतुष्ट करता है:
श्रेणी सी को कार्तीय संवृत कहा जाता है <ref>{{Cite book|title=कामकाजी गणितज्ञ के लिए श्रेणियाँ|last=Saunders|first=Mac Lane|date=1978|publisher=Springer |isbn=1441931236|edition=2nd|oclc=851741862}}</ref> [[अगर और केवल अगर|यदि और केवल यदि]] यह निम्नलिखित तीन गुणों को संतुष्ट करता है:
* इसमें एक [[ टर्मिनल वस्तु ]] है।
* इसमें एक [[ टर्मिनल वस्तु ]] है।
* C की किन्हीं दो वस्तुओं X और Y में C में एक उत्पाद (श्रेणी सिद्धांत) X ×Y है।
* C की किन्हीं दो वस्तुओं X और Y का उत्पाद (श्रेणी सिद्धांत) C में X ×''Y'' है।
* C की किन्हीं दो वस्तुओं Y और Z में एक [[घातीय वस्तु]] Z है<sup>वाई</sup> सी में।
* C की किन्हीं दो वस्तुओं Y और Z में C में एक [[घातीय वस्तु]] ZY है।


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


तीसरी शर्त आवश्यकता के बराबर है कि [[ऑपरेटर]] - ×Y (अर्थात C से C तक फ़ैक्टर जो ऑब्जेक्ट X को X ×Y और morphisms φ से φ को मैप करता है{{Hair space}}×{{Hair space}}पहचान<sub>''Y''</sub>) में एक [[सहायक कारक]] होता है, जिसे आमतौर पर निरूपित किया जाता है -<sup>Y</sup>, C में सभी वस्तुओं Y के लिए।
तीसरी शर्त आवश्यकता के बराबर है कि [[ऑपरेटर|प्रचालक]] - ×Y (अर्थात C से C तक प्रचालक जो वस्तु X से X ×Y और आकारिकी φ से φ × id<sub>''Y''</sub> को मैप करता है) में एक [[सहायक कारक]] होता है, सामान्यतः निरूपित -Y, सभी वस्तुओं के लिए C में Y है।
श्रेणी (गणित) # छोटी और बड़ी श्रेणियों के लिए, यह [[ होम सेट ]] के बीच एक आपत्ति के अस्तित्व द्वारा व्यक्त किया जा सकता है
 
स्थानीय रूप से छोटी श्रेणियों (गणित) के लिए, यह [[ होम सेट |होम समुच्चय]] के बीच एक आक्षेप के अस्तित्व द्वारा व्यक्त किया जा सकता है
:<math>\mathrm{Hom}(X\times Y,Z) \cong \mathrm{Hom}(X,Z^Y)</math>
:<math>\mathrm{Hom}(X\times Y,Z) \cong \mathrm{Hom}(X,Z^Y)</math>
जो X, Y और Z में [[प्राकृतिक परिवर्तन]] है।<ref>{{Cite web|url=https://ncatlab.org/nlab/show/cartesian+closed+category|title=nLab में कार्तीय बंद श्रेणी|website=ncatlab.org|access-date=2017-09-17}}</ref>
जो X, Y और Z में [[प्राकृतिक परिवर्तन]] है।<ref>{{Cite web|url=https://ncatlab.org/nlab/show/cartesian+closed+category|title=nLab में कार्तीय बंद श्रेणी|website=ncatlab.org|access-date=2017-09-17}}</ref>
इस बात का ध्यान रखें कि एक कार्तीय बंद श्रेणी की परिमित सीमाएँ होने की आवश्यकता नहीं है; केवल सीमित उत्पादों की गारंटी है।


यदि किसी श्रेणी में संपत्ति है कि उसकी सभी अल्पविराम श्रेणी # ए पर वस्तुओं की श्रेणी कार्टेशियन बंद है, तो इसे स्थानीय रूप से कार्टेशियन बंद कहा जाता है।<ref>{{nlab|id=locally+cartesian+closed+category|title=Locally cartesian closed category}}</ref> ध्यान दें कि यदि सी स्थानीय रूप से कार्टेशियन बंद है, तो इसे वास्तव में कार्टेशियन बंद होने की आवश्यकता नहीं है; ऐसा तब होता है जब और केवल तभी होता है जब सी में टर्मिनल ऑब्जेक्ट हो।
इस बात का ध्यान रखें कि एक कार्तीय संवृत श्रेणी की परिमित सीमाएँ होने की आवश्यकता नहीं है; केवल सीमित उत्पादों का प्रत्याभूत है।
 
यदि किसी श्रेणी के पास यह गुण है कि उसकी सभी स्लाइस श्रेणियां कार्टेशियन संवृत हैं, तो इसे स्थानीय रूप से कार्टेशियन संवृत कहा जाता है।<ref>{{nlab|id=locally+cartesian+closed+category|title=Locally cartesian closed category}}</ref> ध्यान दें कि यदि सी स्थानीय रूप से कार्टेशियन संवृत है, तो इसे वास्तव में कार्टेशियन संवृत होने की आवश्यकता नहीं है; ऐसा तब होता है जब सी में टर्मिनल वस्तु हो।


== मूल निर्माण ==
== मूल निर्माण ==
Line 35: Line 31:
(आंतरिक) मूल्यांकन मानचित्र कहा जाता है। अधिक सामान्यतः, हम आंशिक अनुप्रयोग मानचित्र को समग्र के रूप में बना सकते हैं
(आंतरिक) मूल्यांकन मानचित्र कहा जाता है। अधिक सामान्यतः, हम आंशिक अनुप्रयोग मानचित्र को समग्र के रूप में बना सकते हैं
:<math> \mathrm{papply}_{X,Y,Z} : Z^{X \times Y} \times X \cong (Z^Y)^{X} \times X \xrightarrow{\mathrm{ev}_{X, Z^Y}} Z^Y.</math>
:<math> \mathrm{papply}_{X,Y,Z} : Z^{X \times Y} \times X \cong (Z^Y)^{X} \times X \xrightarrow{\mathrm{ev}_{X, Z^Y}} Z^Y.</math>
श्रेणी सेट के विशेष मामले में, ये सामान्य परिचालनों को कम करते हैं:
श्रेणी समुच्चय के विशेष मामले में, ये सामान्य परिचालनों को कम करते हैं:
:<math> \mathrm{ev}_{Y,Z}(f,y) = f(y).</math>
:<math> \mathrm{ev}_{Y,Z}(f,y) = f(y).</math>
=== रचना ===
=== रचना ===


आकारिकी p : X → Y पर एक तर्क में घातांक का मूल्यांकन करने पर आकारिकी मिलती है
आकारिकी ''p'' : ''X'' ''Y'' पर एक तर्क में घातांक का मूल्यांकन करने पर आकारिकी मिलती है
:<math>p^Z : X^Z \to Y^Z,</math>
:<math>p^Z : X^Z \to Y^Z,</math>
:<math>Z^p : Z^Y \to Z^X,</math>
:<math>Z^p : Z^Y \to Z^X,</math>
पी के साथ रचना के संचालन के अनुरूप। ऑपरेशन पी के लिए वैकल्पिक नोटेशन<sup>Z</sup> में p शामिल है<sub>*</sub> और p∘-. ऑपरेशन जेड के लिए वैकल्पिक नोटेशन<sup>p</sup> p शामिल करें<sup>*</sup> और -∘p.
पी के साथ रचना के संचालन के अनुरूप। संक्रिया ''p<sup>Z</sup>'' के लिए वैकल्पिक संकेतन में ''p''<sub>*</sub> और ''p∘-'' सम्मलित हैं। संचालन ''Z<sup>p</sup>'' के लिए वैकल्पिक नोटेशन में ''p''<sup>*</sup> और ''-∘p'' सम्मलित हैं।


मूल्यांकन मानचित्रों को इस रूप में श्रृंखलित किया जा सकता है
मूल्यांकन मानचित्रों को इस रूप में श्रृंखलित किया जा सकता है
Line 50: Line 44:
घातीय संयोजन के तहत संबंधित तीर
घातीय संयोजन के तहत संबंधित तीर
:<math>c_{X,Y,Z} : Z^Y \times Y^X \to Z^X</math>
:<math>c_{X,Y,Z} : Z^Y \times Y^X \to Z^X</math>
(आंतरिक) रचना मानचित्र कहा जाता है।
(आंतरिक) संयोजन मानचित्र कहा जाता है।


श्रेणी सेट के विशेष मामले में, यह सामान्य रचना संक्रिया है:
श्रेणी समुच्चय के विशेष मामले में, यह सामान्य संयोजन संक्रिया है:
:<math>c_{X,Y,Z}(g,f) = g \circ f.</math>
:<math>c_{X,Y,Z}(g,f) = g \circ f.</math>
=== खंड ===
=== खंड ===


आकृतिवाद p:X → Y के लिए, मान लें कि निम्न पुलबैक वर्ग मौजूद है, जो X के सबऑब्जेक्ट को परिभाषित करता है<sup>Y</sup> उन नक्शों के अनुरूप है जिनका p के साथ सम्मिश्र पहचान है:
आकृतिवाद p:X → Y के लिए, मान लें कि निम्न ठहराव वर्ग उपस्थित है, जो मानचित्रों के अनुरूप XY के सहवस्तु को परिभाषित करता है, जिसका संयोजन p के साथ पहचाना जाता है:
:<math>\begin{array}{ccc}
:<math>\begin{array}{ccc}
\Gamma_Y(p) &\to& X^Y
\Gamma_Y(p) &\to& X^Y
Line 64: Line 56:
\\ 1 &\to& Y^Y
\\ 1 &\to& Y^Y
\end{array}</math>
\end{array}</math>
जहाँ दाईं ओर का तीर p है<sup>Y</sup> और नीचे का तीर Y पर पहचान के अनुरूप है। फिर Γ<sub>''Y''</sub>(पी) को पी का '[[अनुभाग (फाइबर बंडल)]]' कहा जाता है। इसे अक्सर Γ के रूप में संक्षिप्त किया जाता है<sub>''Y''</sub>(एक्स)
जहां दाईं ओर का तीर ''p<sup>Y</sup>'' है और नीचे का तीर Y पर पहचान के अनुरूप है। तब Γ<sub>''Y''</sub>(''p'') को ''p'' के '[[अनुभाग (फाइबर बंडल)]]' कहा जाता है। इसे अधिकांशतः Γ<sub>''Y''</sub>(''X'') के रूप में संक्षिप्त किया जाता है।


अगर जी<sub>''Y''</sub>(पी) कोडोमेन वाई के साथ प्रत्येक मोर्फिज्म पी के लिए मौजूद है, फिर इसे एक मज़ेदार Γ में इकट्ठा किया जा सकता है<sub>''Y''</sub> : सी/वाई सी स्लाइस श्रेणी पर, जो उत्पाद फ़ैक्टर के एक संस्करण के ठीक बगल में है:
यदि Γ<sub>''Y''</sub>(''p'') कोडोमेन ''Y'' के साथ प्रत्येक आकारिकी ''p'' के लिए उपस्थित है, तो इसे स्लाइस श्रेणी पर एक फ़ंक्टर Γ<sub>''Y''</sub> : ''C''/''Y'' ''C'' में इकट्ठा किया जा सकता है जो उत्पाद फ़ंक्टर के एक संस्करण के ठीक बगल में है:
: <math>\hom_{C/Y}(X \times Y \xrightarrow{\pi_2} Y, Z \xrightarrow{p} Y) \cong \hom_C(X, \Gamma_Y(p)).</math>
: <math>\hom_{C/Y}(X \times Y \xrightarrow{\pi_2} Y, Z \xrightarrow{p} Y) \cong \hom_C(X, \Gamma_Y(p)).</math>
Y द्वारा घातीय वर्गों के संदर्भ में व्यक्त किया जा सकता है:
Y द्वारा घातीय वर्गों के संदर्भ में व्यक्त किया जा सकता है:
: <math>Z^Y \cong \Gamma_Y(Z \times Y \xrightarrow{\pi_2} Y).</math>
: <math>Z^Y \cong \Gamma_Y(Z \times Y \xrightarrow{\pi_2} Y).</math>
== उदाहरण ==
== उदाहरण ==
कार्तीय बंद श्रेणियों के उदाहरणों में शामिल हैं:
कार्तीय संवृत श्रेणियों के उदाहरणों में सम्मलित हैं:
* आकारिकी के रूप में फलन (गणित) के साथ सभी समुच्चयों (गणित) की श्रेणी समुच्चय, कार्तीय बंद है। उत्पाद ''X''×''Y'' ''X'' और ''Y'', और ''Z'' का कार्तीय उत्पाद है<sup>Y</sup> Y से Z तक सभी कार्यों का सेट है। आसन्नता निम्नलिखित तथ्य द्वारा व्यक्त की जाती है: फ़ंक्शन f : X×Y → Z को [[करी]]ंग फ़ंक्शन g : X → Z के साथ स्वाभाविक रूप से पहचाना जाता है<sup>Y</sup> को g(x)(y) = f(x,y) द्वारा X में सभी x और Y में y के लिए परिभाषित किया गया है।
* आकारिकी के रूप में फलन (गणित) के साथ सभी समुच्चयों (गणित) का श्रेणी समुच्चय, कार्टेशियन संवृत है। उत्पाद X × Y, X और Y का कार्तीय उत्पाद है, और ZY, Y से Z तक के सभी फलन का समुच्चय है।टेन्सर-होम एडजंक्शनता निम्नलिखित तथ्य द्वारा व्यक्त की जाती है: फलन ''f'' : ''X''×''Y'' ''Z'' स्वाभाविक रूप से [[करी|करींग]] फलन ''g'' : ''X'' ''Z<sup>Y</sup>'' के साथ पहचाना जाता है x के लिए ''g''(''x'')(''y'') = ''f''(''x'',''y'') द्वारा X में सभी x और Y में y के लिए परिभाषित किया गया है।
* [[परिमित सेट]] सेट की श्रेणी, आकारिकी के रूप में कार्यों के साथ, कार्टेशियन उसी कारण से बंद है।
* आकारिकी के रूप में फलन के साथ [[परिमित सेट|परिमित समुच्चय]] की श्रेणी, कार्टेशियन उसी कारण से संवृत है।
* यदि जी एक [[समूह (गणित)]] है, तो सभी समूह क्रिया (गणित) की श्रेणी | जी-सेट कार्टेशियन बंद है। यदि Y और Z दो G-सेट हैं, तो Z<sup>Y</sup>, Y से Z तक सभी फ़ंक्शन का सेट है जिसमें G क्रिया परिभाषित है (g.F)(y) = F(g)<sup>−1</sup>.y) G में सभी g के लिए, F:Y → Z और y Y में।
* यदि G एक [[समूह (गणित)|समुच्चय (गणित)]] है, तो सभी G-समुच्चय की श्रेणी कार्टेशियन संवृत है। यदि Y और Z दो G-समुच्चय हैं, तो ZY, Y से Z तक सभी फलन का समुच्चय है, जिसमें G, F में सभी g के लिए (''g''.''F'')(''y'') = F(''g''<sup>−1</sup>.y) द्वारा परिभाषित G क्रिया है: ''F'':''Y'' ''Z''  और ''y'' ''Y'' में।
* परिमित जी-सेट की श्रेणी भी कार्तीय बंद है।
* परिमित जी-समुच्चय की श्रेणी भी कार्तीय संवृत है।
* सभी छोटी श्रेणियों की श्रेणी 'कैट' (मोर्फिज्म के रूप में फंक्शनलर्स के साथ) कार्टेशियन बंद है; घातीय सी<sup>डी </sup> कार्यात्मक श्रेणी द्वारा दिया जाता है जिसमें डी से सी तक के सभी कारक शामिल होते हैं, प्राकृतिक परिवर्तनों के रूप में morphisms के साथ।
* सभी छोटी श्रेणियों की श्रेणी कैट (आकारिकी के रूप में फ़ंक्टर के साथ) कार्टेशियन संवृत है; घातीय सीडी को फ़ंक्टर श्रेणी द्वारा दिया जाता है, जिसमें डी से सी तक के सभी फ़ंक्टर प्राकृतिक रूपांतरों के रूप में होते हैं।
* यदि C एक [[छोटी श्रेणी]] है, तो फ़ंक्टर श्रेणी 'सेट'<sup>C</sup> सेट की श्रेणी में C से सभी सहपरिवर्ती फलनकारियों से मिलकर बनता है, आकारिकी के रूप में प्राकृतिक परिवर्तनों के साथ, कार्टेशियन बंद है। यदि F और G, C से 'सेट' के दो कारक हैं, तो घातीय F<sup>G</sup> वह फ़ंक्टर है जिसका मान C के ऑब्जेक्ट X पर सभी प्राकृतिक परिवर्तनों के सेट द्वारा दिया गया है {{math|(''X'',−)&nbsp;×&nbsp;''G''}} से एफ.
* यदि C एक [[छोटी श्रेणी]] है, तो फ़ंक्टर श्रेणी 'समुच्चय'<sup>C</sup> जिसमें ''C'' से समुच्चय की श्रेणी में सभी सहसंयोजक फलनकारि सम्मलित हैं, प्राकृतिक परिवर्तनों के साथ आकारिकी के रूप में, यदि F और G, C से समुच्चय तक दो फ़ंक्टर हैं, तो घातीय FG फ़ंक्टर है, जिसका C के वस्तु X पर मान (X,−) × G से F तक सभी प्राकृतिक परिवर्तनों के समुच्चय द्वारा दिया गया है।
** जी-सेट के पहले के उदाहरण को फ़ंक्टर श्रेणियों के एक विशेष मामले के रूप में देखा जा सकता है: प्रत्येक समूह को एक-ऑब्जेक्ट श्रेणी के रूप में माना जा सकता है, और जी-सेट इस श्रेणी से 'सेट' के फ़नकार के अलावा और कुछ नहीं हैं
** ''G''-समुच्चय के पहले के उदाहरण को फ़ंक्टर श्रेणियों के एक विशेष मामले के रूप में देखा जा सकता है: प्रत्येक समुच्चय को एक-वस्तु श्रेणी के रूप में माना जा सकता है, और जी-समुच्चय इस श्रेणी से फ़ैक्टर के अतिरिक्त और कुछ नहीं हैं
** सभी [[ग्राफ सिद्धांत]] की श्रेणी कार्तीय बंद है; यह एक फ़ंक्टर श्रेणी है जैसा कि फ़ैक्टर श्रेणी के अंतर्गत समझाया गया है।
** सभी [[ग्राफ सिद्धांत]] की श्रेणी कार्तीय संवृत है; यह एक फ़ंक्टर श्रेणी है जैसा कि फ़ैक्टर श्रेणी के अंतर्गत समझाया गया है।
** विशेष रूप से, साधारण सेटों की श्रेणी (जो फ़ैक्टर X हैं: Δ<sup>op</sup> → सेट) कार्तीय बंद है।
** विशेष रूप से, सरलीकृत समुच्चय की श्रेणी (जो फ़ैक्टर ''X'' : Δ<sup>op</sup> → समुच्चय) कार्टेशियन संवृत है।
* इससे भी अधिक आम तौर पर, प्रत्येक प्राथमिक [[ topos ]] कार्टेशियन बंद होता है।
* इससे भी अधिक सामान्यतः, प्रत्येक प्राथमिक [[ topos |टोपोस(श्रेणी)]] कार्टेशियन संवृत होती है।
* [[बीजगणितीय टोपोलॉजी]] में, कार्तीय बंद श्रेणियों के साथ काम करना विशेष रूप से आसान है। न तो [[निरंतर कार्य (टोपोलॉजी)]] मानचित्रों के साथ [[टोपोलॉजिकल स्पेस]] स्थान की श्रेणी और न ही चिकने मानचित्रों के साथ [[ कई गुना ]] की श्रेणी कार्टेशियन बंद है। स्थानापन्न श्रेणियों पर इसलिए विचार किया गया है: सघन रूप से उत्पन्न हौसडॉर्फ रिक्त स्थान की श्रेणी कार्तीय बंद है, जैसा कि फ्रोलीचर रिक्त स्थान की श्रेणी है।
* [[बीजगणितीय टोपोलॉजी]] में, कार्टेशियन संवृत श्रेणियां विशेष रूप से काम करने में आसान होती हैं। [[निरंतर कार्य (टोपोलॉजी)]] मानचित्रों के साथ न तो [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल रिक्त]] स्थान की श्रेणी और न ही निर्विघ्ऩ मानचित्रों के साथ निर्विघ्ऩ [[ कई गुना |कई गुना]] की श्रेणी कार्टेशियन संवृत है। इसलिए स्थानापन्न श्रेणियों पर विचार किया गया है: सघन रूप से उत्पन्न हॉसडॉर्फ रिक्त स्थान की श्रेणी कार्टेशियन संवृत है, जैसा कि फ्रोलीचर रिक्त स्थान की श्रेणी है।
* [[आदेश सिद्धांत]] में, [[पूर्ण आंशिक आदेश]] (सीपीओ) में एक प्राकृतिक टोपोलॉजी है, [[स्कॉट टोपोलॉजी]], जिसके निरंतर नक्शे एक कार्टेशियन बंद श्रेणी बनाते हैं (अर्थात, वस्तुएं cpos हैं, और आकारिकी स्कॉट हैं निरंतर मानचित्र)। स्कॉट टोपोलॉजी में करीइंग और ''लागू करें'' दोनों निरंतर कार्य हैं, और करींग, लागू करने के साथ, आसन्न प्रदान करते हैं।<ref>{{cite book |first=H.P. |last=Barendregt |chapter=Theorem 1.2.16 |title=लैम्ब्डा कैलकुलस|publisher=North-Holland |date=1984 |isbn=0-444-87508-5 |pages= |url=}}</ref> * एक [[हेटिंग बीजगणित]] एक कार्तीय बंद (परिबद्ध) जाली (क्रम) है। टोपोलॉजिकल स्पेस से एक महत्वपूर्ण उदाहरण सामने आता है। यदि X एक टोपोलॉजिकल स्पेस है, तो X में खुले सेट एक श्रेणी O (X) की वस्तुओं का निर्माण करते हैं, जिसके लिए U से V तक एक अद्वितीय आकारिकी है यदि U, V का एक उपसमुच्चय है और अन्यथा कोई आकारिकी नहीं है। यह [[poset]] एक कार्तीय बंद श्रेणी है: U और V का गुणनफल U और V का प्रतिच्छेदन है और चरघातांकी U<sup>V</sup> का आंतरिक (टोपोलॉजी) है {{math|''U''∪(''X''\''V'')}}.
* [[आदेश सिद्धांत]] में, [[पूर्ण आंशिक आदेश]] (सीपीओएस) में एक प्राकृतिक टोपोलॉजी है, [[स्कॉट टोपोलॉजी]], जिसके निरंतर मानचित्र एक कार्टेशियन संवृत श्रेणी बनाते हैं (अर्थात, वस्तुएं सीपीओ हैं, और आकारिकी स्कॉट निरंतर मानचित्र हैं)। करीइंग और अप्लाई (गणित में फ़ंक्शन ) दोनों ही स्कॉट टोपोलॉजी में निरंतर कार्य करते हैं, और करींग, अप्लाई के साथ, संलग्न प्रदान करते हैं।<ref>{{cite book |first=H.P. |last=Barendregt |chapter=Theorem 1.2.16 |title=लैम्ब्डा कैलकुलस|publisher=North-Holland |date=1984 |isbn=0-444-87508-5 |pages= |url=}}</ref>  
* [[शून्य वस्तु]] वाली एक श्रेणी कार्टेशियन बंद है अगर और केवल अगर यह केवल एक वस्तु और एक पहचान रूपवाद वाली श्रेणी के बराबर है। दरअसल, अगर 0 प्रारंभिक वस्तु है और 1 अंतिम वस्तु है और हमारे पास है <math> 0 \cong 1 </math>, तब <math>\mathrm{Hom}(X, Y) \cong \mathrm{Hom}(1, Y^X) \cong \mathrm{Hom}(0, Y^X) \cong 1 </math> जिसमें केवल एक ही तत्व हो।<ref>{{Cite web | url=https://mathoverflow.net/q/136480 | title=Ct.category theory - is the category commutative monoids cartesian closed?}}</ref>
*एक [[हेटिंग बीजगणित]] एक कार्तीय संवृत (परिबद्ध) जालक (सार संरचना) है। टोपोलॉजिकल स्थान से एक महत्वपूर्ण उदाहरण सामने आता है। यदि X एक टोपोलॉजिकल स्थान है, तो X में विवृत समुच्चय एक श्रेणी O (X) की वस्तुओं का निर्माण करते हैं, जिसके लिए U से V तक एक अद्वितीय आकारिकी है यदि U, V का एक उपसमुच्चय है और अन्यथा कोई आकारिकी नहीं है। यह [[poset|पॉसेट]] एक कार्तीय संवृत श्रेणी है: U और V का "उत्पाद" U और V का प्रतिच्छेदन है और चरघातांकी U<sup>V</sup> {{math|''U''∪(''X''\''V'')}} का आंतरिक (टोपोलॉजी) है।
**विशेष रूप से, शून्य वस्तु वाली कोई गैर-तुच्छ श्रेणी, जैसे [[एबेलियन श्रेणी]], कार्टेशियन बंद नहीं है। तो [[मॉड्यूल (गणित)]] की श्रेणी कार्टेशियन बंद नहीं है। हालांकि, functor [[टेंसर उत्पाद]] <math>-\otimes M</math> एक निश्चित मॉड्यूल के साथ एक [[Tensor-hom adjunction]] होता है। टेंसर उत्पाद एक श्रेणीबद्ध उत्पाद नहीं है, इसलिए यह उपरोक्त का खंडन नहीं करता है। हम इसके बजाय प्राप्त करते हैं कि मॉड्यूल की श्रेणी [[मोनोइडल बंद श्रेणी]] है।
* [[शून्य वस्तु]] वाली एक श्रेणी कार्टेशियन संवृत है यदि और केवल यदि यह केवल एक वस्तु और एक पहचान आकारिता वाली श्रेणी के बराबर है। दरअसल, यदि 0 प्रारंभिक वस्तु है और 1 अंतिम वस्तु है और हमारे पास है <math> 0 \cong 1 </math>, तब <math>\mathrm{Hom}(X, Y) \cong \mathrm{Hom}(1, Y^X) \cong \mathrm{Hom}(0, Y^X) \cong 1 </math> जिसमें केवल एक तत्व है।<ref>{{Cite web | url=https://mathoverflow.net/q/136480 | title=Ct.category theory - is the category commutative monoids cartesian closed?}}</ref>
**विशेष रूप से, शून्य वस्तु वाली कोई गैर-तुच्छ श्रेणी, जैसे [[एबेलियन श्रेणी]], कार्टेशियन संवृत नहीं है। इसलिए रिंग के ऊपर [[मॉड्यूल (गणित)]] की श्रेणी कार्टेशियन संवृत नहीं है। चूंकि, होम-फ़ंक्टर [[टेंसर उत्पाद]] <math>-\otimes M</math> एक निश्चित मॉड्यूल के साथ एक [[Tensor-hom adjunction|टेन्सर-होम एडजंक्शन]] होता है। टेंसर उत्पाद एक श्रेणीबद्ध उत्पाद नहीं है, इसलिए यह उपरोक्त का खंडन नहीं करता है। हम इसके अतिरिक्त प्राप्त करते हैं कि अनुखंड की श्रेणी [[मोनोइडल बंद श्रेणी|मोनोइडल संवृत श्रेणी]] है।


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


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


== अनुप्रयोग ==
== अनुप्रयोग ==
कार्तीय बंद श्रेणियों में, दो चरों का एक फलन (एक आकारिकी f : X×Y → Z) हमेशा एक चर के फलन के रूप में प्रदर्शित किया जा सकता है (आकृतिवाद λf : X → Z)<sup>वाई</sup>). [[कंप्यूटर विज्ञान]] अनुप्रयोगों में, इसे करींग के रूप में जाना जाता है; इससे यह अहसास हुआ है कि सामान्य रूप से टाइप किए गए लैम्ब्डा कैलकुलस की व्याख्या किसी भी कार्टेशियन बंद श्रेणी में की जा सकती है।
कार्तीय संवृत श्रेणियों में, एक "दो चरों का एक फलन" (एक आकारिकी ''f'' : ''X''×''Y'' ''Z'' ) को हमेशा "एक चर के फलन के रूप में दर्शाया जा सकता है (आकृतिवाद λ''f'' : ''X'' ''Z<sup>Y</sup>'')[[कंप्यूटर विज्ञान]] अनुप्रयोगों में, इसे करींग (गणित) के रूप में जाना जाता है; इससे यह अहसास हुआ है कि सामान्य रूप से टाइप किए गए लैम्ब्डा कैलकुलस की व्याख्या किसी भी कार्टेशियन संवृत श्रेणी में की जा सकती है।


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


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


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


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


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


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


बायां जोड़ <math>\Sigma_p : C/X \to C/Y</math> आश्रित योग कहा जाता है और रचना द्वारा दिया जाता है <math>p \circ (-)</math>.
बायां जोड़ <math>\Sigma_p : C/X \to C/Y</math> निर्भर योग कहा जाता है और संयोजन द्वारा दिया जाता है <math>p \circ (-)</math>.


दाहिना जोड़ <math>\Pi_p : C/X \to C/Y</math> आश्रित उत्पाद कहा जाता है।
दाहिना जोड़ <math>\Pi_p : C/X \to C/Y</math> निर्भर उत्पाद कहा जाता है।


''C/Y'' में ''P'' द्वारा एक्सपोनेंशियल को सूत्र द्वारा निर्भर उत्पाद के संदर्भ में व्यक्त किया जा सकता है <math>Q^P \cong \Pi_p(p^*(Q))</math>.
''C/Y'' में ''P'' द्वारा घातांक सूत्र द्वारा निर्भर उत्पाद के संदर्भ में व्यक्त किया जा सकता है <math>Q^P \cong \Pi_p(p^*(Q))</math>.


इन नामों का कारण यह है कि जब P की व्याख्या एक [[आश्रित प्रकार]] के रूप में की जाती है <math> y : Y \vdash P(y) : \mathrm{Type} </math>, कार्यकर्त्ता <math>\Sigma_p</math> और <math>\Pi_p</math> प्रकार के गठन के अनुरूप है <math>\Sigma_{x : P(y)}</math> और <math>\Pi_{x : P(y)}</math> क्रमश।
इन नामों का कारण यह है कि जब P की व्याख्या एक [[आश्रित प्रकार|निर्भर प्रकार]] के रूप में की जाती है <math> y : Y \vdash P(y) : \mathrm{Type} </math>, फलन <math>\Sigma_p</math> और <math>\Pi_p</math> प्रकार संरचनाओं के अनुरूप है <math>\Sigma_{x : P(y)}</math> और <math>\Pi_{x : P(y)}</math> क्रमशः।


== समतामूलक सिद्धांत ==
== समतामूलक सिद्धांत ==
प्रत्येक कार्टेशियन बंद श्रेणी में (घातीय संकेतन का उपयोग करके), (X<sup>वाई</sup>)<sup>जेड</सुप> और (एक्स<sup>सी</sup>)<sup>Y</sup> सभी वस्तुओं X, Y और Z के लिए तुल्याकारी हैं। हम इसे समीकरण के रूप में लिखते हैं
प्रत्येक कार्टेशियन संवृत श्रेणी में (घातीय संकेतन का उपयोग करते हुए),(''X<sup>Y</sup>'')<sup>''Z''</sup> और (''X<sup>Z</sup>'')<sup>''Y''</sup> सभी वस्तुओं ''X'', ''Y'' और ''Z'' के लिए आइसोमोर्फिक हैं। हम इसे "समीकरण" के रूप में लिखते हैं।


:(एक्स<sup>और</sup>)<sup>जेड </सुप> = (एक्स<sup>साथ</sup>)<sup></sup>.
:(''x<sup>y</sup>'')<sup>''z''</sup> = (''x<sup>z</sup>'')<sup>''y''</sup>.


कोई यह पूछ सकता है कि ऐसे और कौन से समीकरण सभी कार्तीय संवृत्त श्रेणियों में मान्य हैं। यह पता चला है कि ये सभी निम्नलिखित स्वयंसिद्धों से तार्किक रूप से अनुसरण करते हैं:<ref>{{cite journal |first=S.V. |last=Solov'ev |title=परिमित समुच्चयों की श्रेणी और कार्टेशियन बंद श्रेणियां|journal=J Math Sci |volume=22 |issue= 3|pages=1387–1400 |date=1983 |doi=10.1007/BF01084396 |s2cid=122693163 }}</ref>
यह पूछ सकता है कि ऐसे और कौन से समीकरण सभी कार्तीय संवृत्त श्रेणियों में मान्य हैं। यह पता चला है कि ये सभी निम्नलिखित अभिगृहीतो का तार्किक रूप से अनुसरण करते हैं:<ref>{{cite journal |first=S.V. |last=Solov'ev |title=परिमित समुच्चयों की श्रेणी और कार्टेशियन बंद श्रेणियां|journal=J Math Sci |volume=22 |issue= 3|pages=1387–1400 |date=1983 |doi=10.1007/BF01084396 |s2cid=122693163 }}</ref>
*x×(y×z) = (x×y)×z
*x×(y×z) = (x×y)×z
*x×y = y×x
*x×y = y×x
*x×1 = x (यहाँ 1 C के टर्मिनल ऑब्जेक्ट को दर्शाता है)
*x×1 = x (यहाँ 1 C के टर्मिनल वस्तुओ को दर्शाता है)
*1<sup>एक्स </सुप> = 1
** 1<sup>''x''</sup> = 1
*एक्स<sup>1</सुप> = एक्स
** ''x''<sup>1</sup> = ''x''
*(एक्स ×वाई)<sup>जेड </सुप> = एक्स<sup>जेड</सुप>×वाई<sup>जेड</सुप>
** (''x''×''y'')<sup>''z''</sup> = ''x<sup>z</sup>''×''y<sup>z</sup>''
*(एक्स<sup>और</sup>)<sup>जेड </सुप> = एक्स<sup>(y×z)</sup>
** (''x<sup>y</sup>'')<sup>''z''</sup> = ''x''<sup>(''y''×''z'')</sup>


=== द्विकार्तीय बंद श्रेणियां ===
=== द्विकार्तीय संवृत श्रेणियां ===
[[बायकार्टेशियन बंद श्रेणी]] बाइनरी [[सहउत्पाद]] और एक प्रारंभिक ऑब्जेक्ट के साथ कार्टेशियन क्लोज्ड कैटेगरी का विस्तार करती है, जिसमें प्रोडक्ट्स को कोप्रोडक्ट्स पर वितरित किया जाता है। उनके समीकरण सिद्धांत को निम्नलिखित स्वयंसिद्धों के साथ विस्तारित किया गया है, जो टार्स्की की हाई स्कूल बीजगणित समस्या के समान कुछ उत्पन्न करता है। टार्स्की के हाई स्कूल के स्वयंसिद्ध लेकिन एक शून्य के साथ:
[[बायकार्टेशियन बंद श्रेणी|बिकार्टेशियन संवृत श्रेणियां]] कार्टेशियन संवृत श्रेणियों को बाइनरी [[सहउत्पाद]] और एक प्रारंभिक वस्तु के साथ विस्तारित करती हैं, जिसमें उत्पादों को सहउत्पाद पर वितरित किया जाता है। उनके समीकरण सिद्धांत को निम्नलिखित अभिगृहीतो के साथ विस्तारित किया गया है, गणितीय तर्क में, टार्स्की की हाई स्कूल बीजगणित समस्या के समान है, लेकिन एक शून्य के साथ:
*x + y = y + x
*x + y = y + x
*(एक्स + वाई) + जेड = एक्स + (वाई + जेड)
*(''x'' + ''y'') + ''z'' = ''x'' + (''y'' + ''z'')
*x×(y + z) = x×y + x×z
*x×(y + z) = x×y + x×z
*एक्स<sup>(वाई + जेड) </सुप> = एक्स<sup>वाई</sup>×x<sup>जेड</सुप>
*''x''<sup>(''y'' + ''z'')</sup> = ''x<sup>y</sup>×x<sup>z</sup>''
*0 + एक्स = एक्स
*0 + ''x'' = ''x''
*x×0 = 0
*x×0 = 0
*एक्स<sup>0</sup> = 1
*''x''<sup>0</sup> = 1
 
हालाँकि ध्यान दें कि उपरोक्त सूची पूर्ण नहीं है; मुक्त BCCC में टाइप आइसोमोर्फिज्म सूक्ष्म रूप से स्वयंसिद्ध नहीं है, और इसकी निर्णायकता अभी भी एक खुली समस्या है।<ref>{{cite journal |first1=M. |last1=Fiore |first2=R. Di |last2=Cosmo |first3=V. |last3=Balat |title=टाइप किए गए लैम्ब्डा कैलकुली में खाली और योग प्रकार के साथ आइसोमोर्फिज्म पर टिप्पणी|journal=Annals of Pure and Applied Logic |volume=141 |issue=1–2 |pages=35–50 |date=2006 |doi=10.1016/j.apal.2005.09.001 |url=https://core.ac.uk/download/pdf/82685234.pdf}}</ref>
 


चूंकि ध्यान दें कि उपरोक्त सूची पूर्ण नहीं है; मुक्त बीसीसीसी में टाइप आइसोमोर्फिज्म सूक्ष्म रूप से अभिगृहीत नहीं है, और इसकी निर्णायकता अभी भी एक विवृत समस्या है।<ref>{{cite journal |first1=M. |last1=Fiore |first2=R. Di |last2=Cosmo |first3=V. |last3=Balat |title=टाइप किए गए लैम्ब्डा कैलकुली में खाली और योग प्रकार के साथ आइसोमोर्फिज्म पर टिप्पणी|journal=Annals of Pure and Applied Logic |volume=141 |issue=1–2 |pages=35–50 |date=2006 |doi=10.1016/j.apal.2005.09.001 |url=https://core.ac.uk/download/pdf/82685234.pdf}}</ref>
==संदर्भ==
==संदर्भ==
<references/>
<references/>
Line 158: Line 147:
*{{cite web |first=जॉन |last=बाएज़ |title="सीसीसी और λ-गणना" |date=2006 |work=एन-श्रेणी कैफे: गणित, भौतिकी और दर्शन पर एक समूह ब्लॉग |publisher=टेक्सास विश्वविद्यालय |url=https://golem.ph.utexas.edu/category/2006/08/cartesian_closed_categories_an_1.html}}
*{{cite web |first=जॉन |last=बाएज़ |title="सीसीसी और λ-गणना" |date=2006 |work=एन-श्रेणी कैफे: गणित, भौतिकी और दर्शन पर एक समूह ब्लॉग |publisher=टेक्सास विश्वविद्यालय |url=https://golem.ph.utexas.edu/category/2006/08/cartesian_closed_categories_an_1.html}}


{{category theory}}
[[Category:CS1 English-language sources (en)]]
[[Category: बंद श्रेणियां]] [[Category: लैम्ब्डा कैलकुलस]]  
[[Category:Collapse templates]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:बंद श्रेणियां]]
[[Category:लैम्ब्डा कैलकुलस]]

Latest revision as of 17:33, 12 September 2023

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

व्युत्पत्ति

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

परिभाषा

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

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

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

तीसरी शर्त आवश्यकता के बराबर है कि प्रचालक - ×Y (अर्थात C से C तक प्रचालक जो वस्तु X से X ×Y और आकारिकी φ से φ × 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 का कार्तीय उत्पाद है, और ZY, Y से Z तक के सभी फलन का समुच्चय है।टेन्सर-होम एडजंक्शनता निम्नलिखित तथ्य द्वारा व्यक्त की जाती है: फलन f : X×YZ स्वाभाविक रूप से करींग फलन g : XZY के साथ पहचाना जाता है x के लिए g(x)(y) = f(x,y) द्वारा X में सभी x और Y में y के लिए परिभाषित किया गया है।
  • आकारिकी के रूप में फलन के साथ परिमित समुच्चय की श्रेणी, कार्टेशियन उसी कारण से संवृत है।
  • यदि G एक समुच्चय (गणित) है, तो सभी G-समुच्चय की श्रेणी कार्टेशियन संवृत है। यदि Y और Z दो G-समुच्चय हैं, तो ZY, Y से Z तक सभी फलन का समुच्चय है, जिसमें G, F में सभी g के लिए (g.F)(y) = F(g−1.y) द्वारा परिभाषित G क्रिया है: F:YZ और y Y में।
  • परिमित जी-समुच्चय की श्रेणी भी कार्तीय संवृत है।
  • सभी छोटी श्रेणियों की श्रेणी कैट (आकारिकी के रूप में फ़ंक्टर के साथ) कार्टेशियन संवृत है; घातीय सीडी को फ़ंक्टर श्रेणी द्वारा दिया जाता है, जिसमें डी से सी तक के सभी फ़ंक्टर प्राकृतिक रूपांतरों के रूप में होते हैं।
  • यदि C एक छोटी श्रेणी है, तो फ़ंक्टर श्रेणी 'समुच्चय'C जिसमें C से समुच्चय की श्रेणी में सभी सहसंयोजक फलनकारि सम्मलित हैं, प्राकृतिक परिवर्तनों के साथ आकारिकी के रूप में, यदि F और G, C से समुच्चय तक दो फ़ंक्टर हैं, तो घातीय FG फ़ंक्टर है, जिसका C के वस्तु X पर मान (X,−) × G से F तक सभी प्राकृतिक परिवर्तनों के समुच्चय द्वारा दिया गया है।
    • G-समुच्चय के पहले के उदाहरण को फ़ंक्टर श्रेणियों के एक विशेष मामले के रूप में देखा जा सकता है: प्रत्येक समुच्चय को एक-वस्तु श्रेणी के रूप में माना जा सकता है, और जी-समुच्चय इस श्रेणी से फ़ैक्टर के अतिरिक्त और कुछ नहीं हैं
    • सभी ग्राफ सिद्धांत की श्रेणी कार्तीय संवृत है; यह एक फ़ंक्टर श्रेणी है जैसा कि फ़ैक्टर श्रेणी के अंतर्गत समझाया गया है।
    • विशेष रूप से, सरलीकृत समुच्चय की श्रेणी (जो फ़ैक्टर X : Δop → समुच्चय) कार्टेशियन संवृत है।
  • इससे भी अधिक सामान्यतः, प्रत्येक प्राथमिक टोपोस(श्रेणी) कार्टेशियन संवृत होती है।
  • बीजगणितीय टोपोलॉजी में, कार्टेशियन संवृत श्रेणियां विशेष रूप से काम करने में आसान होती हैं। निरंतर कार्य (टोपोलॉजी) मानचित्रों के साथ न तो टोपोलॉजिकल रिक्त स्थान की श्रेणी और न ही निर्विघ्ऩ मानचित्रों के साथ निर्विघ्ऩ कई गुना की श्रेणी कार्टेशियन संवृत है। इसलिए स्थानापन्न श्रेणियों पर विचार किया गया है: सघन रूप से उत्पन्न हॉसडॉर्फ रिक्त स्थान की श्रेणी कार्टेशियन संवृत है, जैसा कि फ्रोलीचर रिक्त स्थान की श्रेणी है।
  • आदेश सिद्धांत में, पूर्ण आंशिक आदेश (सीपीओएस) में एक प्राकृतिक टोपोलॉजी है, स्कॉट टोपोलॉजी, जिसके निरंतर मानचित्र एक कार्टेशियन संवृत श्रेणी बनाते हैं (अर्थात, वस्तुएं सीपीओ हैं, और आकारिकी स्कॉट निरंतर मानचित्र हैं)। करीइंग और अप्लाई (गणित में फ़ंक्शन ) दोनों ही स्कॉट टोपोलॉजी में निरंतर कार्य करते हैं, और करींग, अप्लाई के साथ, संलग्न प्रदान करते हैं।[5]
  • एक हेटिंग बीजगणित एक कार्तीय संवृत (परिबद्ध) जालक (सार संरचना) है। टोपोलॉजिकल स्थान से एक महत्वपूर्ण उदाहरण सामने आता है। यदि X एक टोपोलॉजिकल स्थान है, तो X में विवृत समुच्चय एक श्रेणी O (X) की वस्तुओं का निर्माण करते हैं, जिसके लिए U से V तक एक अद्वितीय आकारिकी है यदि U, V का एक उपसमुच्चय है और अन्यथा कोई आकारिकी नहीं है। यह पॉसेट एक कार्तीय संवृत श्रेणी है: U और V का "उत्पाद" U और V का प्रतिच्छेदन है और चरघातांकी UV U∪(X\V) का आंतरिक (टोपोलॉजी) है।
  • शून्य वस्तु वाली एक श्रेणी कार्टेशियन संवृत है यदि और केवल यदि यह केवल एक वस्तु और एक पहचान आकारिता वाली श्रेणी के बराबर है। दरअसल, यदि 0 प्रारंभिक वस्तु है और 1 अंतिम वस्तु है और हमारे पास है , तब जिसमें केवल एक तत्व है।[6]
    • विशेष रूप से, शून्य वस्तु वाली कोई गैर-तुच्छ श्रेणी, जैसे एबेलियन श्रेणी, कार्टेशियन संवृत नहीं है। इसलिए रिंग के ऊपर मॉड्यूल (गणित) की श्रेणी कार्टेशियन संवृत नहीं है। चूंकि, होम-फ़ंक्टर टेंसर उत्पाद एक निश्चित मॉड्यूल के साथ एक टेन्सर-होम एडजंक्शन होता है। टेंसर उत्पाद एक श्रेणीबद्ध उत्पाद नहीं है, इसलिए यह उपरोक्त का खंडन नहीं करता है। हम इसके अतिरिक्त प्राप्त करते हैं कि अनुखंड की श्रेणी मोनोइडल संवृत श्रेणी है।

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

  • हर प्राथमिक टोपोस स्थानीय रूप से कार्टेशियन संवृत है। इस उदाहरण में जी- समूह के लिए समुच्चय, फिनसमुच्चय, जी-समुच्चय, साथ ही छोटी श्रेणियों 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 + z)
  • x×(y + z) = x×y + x×z
  • x(y + z) = xy×xz
  • 0 + x = x
  • x×0 = 0
  • x0 = 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.

बाहरी संबंध