कर्र्यींग (Currying)

This article is about गणितीय तकनीक. For इस नाम की खाना पकाने की प्रक्रिया, see करी. For चमड़ा परिष्करण प्रक्रिया, see कर्रिएर. For घोड़े की देखभाल, see करीकंघी.

गणित और कंप्यूटर विज्ञान में, करींग एक के मूल्यांकन का अनुवाद करने की विधि है जो फलनों के अनुक्रम (कंप्यूटर विज्ञान) का मूल्यांकन करने में कई तर्क लेता है, प्रत्येक एक तर्क के साथ। उदाहरण के लिए, एक कलन $f$ जो तीन तर्क लेता है, एक स्थिर एकल फलन $g$ बनाता है, ताकि संकेत

${\text{let }}x=f(a,b,c)$

संकेत के समान मान $x$ देता है

${\begin{aligned}{\text{let }}h=g(a)\\{\text{let }}i=h(b)\\{\text{let }}x=i(c),\end{aligned}}$

या क्रम में कहा जाता है,

${\text{let }}x=g(a)(b)(c).$

गणितीय भाषा में अधिकतर, एक फलन जो दो तर्क लेता है, एक से $X$ और दूसरे से $Y$, और $Z,$ में आउटपुट उत्पन्न करता है करीइंग द्वारा एक फलन में अनुवादित किया जाता है जो $X$ से एकल तर्क लेता है और $Y$ से $Z$ तक आउटपुट फ़ंक्शन के रूप में उत्पन्न करता है। यह इन दो प्रकार के फलनों के बीच एक स्वाभाविक एक-से-एक पत्राचार है, जिससे कि सेट (गणित) उनके बीच के फलनों के साथ एक कार्तीय बंद श्रेणी बनाते हैं। दो से अधिक तर्कों वाले फलन की करी को तब प्रेरण द्वारा परिभाषित किया जा सकता है। करी संबंधित है, लेकिन आंशिक अनुप्रयोग के समान नहीं है।

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

और आगे हास्केल करी द्वारा विकसित किया गया।

अनकरींग द्वैत (गणित) को करी करने के लिए परिवर्तन है, और इसे निष्क्रियता के एक रूप के रूप में देखा जा सकता है। यह एक फलन (गणित) $f$ लेता है जिसका व्युत्क्रम मान एक और फलन $g$ है, और एक नया फलन $f'$उत्पन्न करता है जो पैरामीटर के रूप में दोनों $f$ के लिए तर्क लेता है, और $g$ परिणामस्वरूप उन तर्कों के लिए $f$ और बाद में,$g$,का अनुप्रयोग करता है। और इस प्रक्रिया को पुनरावृत्त किया जा सकता है।

प्रेरणा

करींग उन फलनों के साथ काम करने का एक विधि प्रदान करता है जो कई तर्क लेते हैं, और उन्हें संरचनाओं में उपयोग करते हैं जहां फलन केवल एक तर्क ले सकते हैं। उदाहरण के लिए, कुछ विश्लेषणात्मक विधियों को केवल एक ही तर्क वाले फलनों पर लागू किया जा सकता है। व्यावहारिक कार्य अधिकांश इससे अधिक तर्क लेते हैं। फ्रीज ने दिखाया कि यह एकल तर्क स्थितियों के लिए समाधान प्रदान करने के लिए पर्याप्त था, क्योंकि एक फलन को कई तर्कों के साथ एकल-तर्क फलनों की श्रृंखला में बदलना संभव था। यह परिवर्तन अब करी के रूप में जानी जाने वाली प्रक्रिया है। गणितीय विश्लेषण या कंप्यूटर प्रोग्रामिंग में सामान्यतः सामने आने वाले सभी सामान्य फलनों को नियंत्रित किया जा सकता है। चूंकि, ऐसी श्रेणियां हैं जिनमें करी बनाना संभव नहीं है; करीने की अनुमति देने वाली सबसे सामान्य श्रेणियां बंद मोनोइडल श्रेणी हैं।

कुछ प्रोग्रामिंग भाषा लगभग हमेशा कई तर्कों को प्राप्त करने के लिए करीबी फलनों का उपयोग करती हैं; उल्लेखनीय उदाहरण [[एमएल (प्रोग्रामिंग भाषा)]] और हास्केल (प्रोग्रामिंग भाषा) हैं, जहां दोनों स्थितियों में सभी फलनों में बिल्कुल एक तर्क होता है। यह गुण लैम्ब्डा कलन से विरासत में मिली है, जहां बहु-तर्क फलनों को सामान्यतः घुमावदार रूप में दर्शाया जाता है।

करी संबंधित है, लेकिन आंशिक अनुप्रयोग के समान नहीं है। अभ्यास में, क्लोजर (कंप्यूटर प्रोग्रामिंग) की प्रोग्रामिंग विधि का उपयोग आंशिक अनुप्रयोग और एक प्रकार की करींग करने के लिए किया जा सकता है, जो करी फलन के साथ यात्रा करने वाले वातावरण में तर्क छिपाकर करता है।

चित्रण

मान लीजिए हमारे पास $f:\mathbb {R} \times \mathbb {R} \to \mathbb {R}$ एक कलन है जो दो वास्तविक संख्या ($\mathbb {R}$) लेता है और वास्तविक संख्या को आउटपुट करता है, और इसके $f(x,y)=x+y^{2}$ द्वारा परिभाषित किया जाता है. करींग इसे एक कलन $h$ में अनुवादित करता है जो एक वास्तविक तर्क लेता है और $\mathbb {R}$ से $\mathbb {R}$ फलनों को आउटपुट करता है. प्रतीकों में, $h:\mathbb {R} \to \mathbb {R} ^{\mathbb {R} }$, जहाँ $\mathbb {R} ^{\mathbb {R} }$उन सभी फलनों के सेट को दर्शाता है जो एक वास्तविक तर्क लेते हैं और वास्तविक आउटपुट उत्पन्न करते हैं। प्रत्येक वास्तविक संख्या के लिए $x$, फलन $h_{x}:\mathbb {R} \to \mathbb {R}$ को परिभाषित करें द्वारा $h_{x}(y)=x+y^{2}$, और उसके बाद फलन $h:\mathbb {R} \to \mathbb {R} ^{\mathbb {R} }$ द्वारा $h(x)=h_{x}$ को परिभाषित करें. तो उदाहरण के लिए, $h(2)$ वह फलन है जो अपना वास्तविक तर्क $y$ आउटपुट के लिए $2+y^{2}$, या $h(2)(y)=h_{2}(y)=2+y^{2}$ भेजता है. हम इसे सामान्य तौर पर देखते हैं

$h(x)(y)=x+y^{2}=f(x,y)$

ताकि मूल फलन $f$ और इसकी करी $h$ बिल्कुल समान जानकारी व्यक्त करें। ऐसी स्थिति में हम लिखते भी हैं

${\text{curry}}(f)=h.$

यह दो से अधिक तर्कों वाले फलनों के लिए भी काम करता है। यदि $f$ तीन तर्कों का एक फलन $f(x,y,z)$ था, इसकी करी $h$ यह गुण होगा

$f(x,y,z)=h(x)(y)(z).$

इतिहास

"करींग" में "करी" तर्कशास्त्री हास्केल करी का एक संदर्भ है, जिन्होंने इस अवधारणा का व्यापक रूप से उपयोग किया था, लेकिन मोसेस शॉनफिंकेल को करी से 6 साल पहले यह विचार आया था। वैकल्पिक नाम "शॉनफिंकेलाइजेशन" प्रस्तावित किया गया है। गणितीय संदर्भ में, सिद्धांत को 1893 में गोटलॉब फ्रेज द्वारा काम करने के लिए वापस खोजा जा सकता है।

करींग शब्द का जनक स्पष्ट नहीं है। डेविड टर्नर (कंप्यूटर वैज्ञानिक) का कहना है कि यह शब्द क्रिस्टोफर स्ट्रेची द्वारा अपने 1967 के व्याख्यान नोट्स में मौलिक अवधारणाओं को प्रोग्रामिंग भाषाओं में गढ़ा गया था। लेकिन यद्यपि अवधारणा का उल्लेख किया गया है, नोटों में करी शब्द प्रकट नहीं होता है। जॉन सी रेनॉल्ड्स ने 1972 के पेपर में करी को परिभाषित किया, लेकिन इस शब्द को गढ़ने का दावा नहीं किया।

परिभाषा

एक अनौपचारिक परिभाषा के साथ शुरू करके करी को सबसे आसानी से समझा जा सकता है, जिसे बाद में कई अलग-अलग डोमेन में उपयुक्त करने के लिए बनाया जा सकता है। सबसे पहले, स्थापित करने के लिए कुछ संकेतन है। संकेतन $X\to Y$ और $X$ से $Y$से सभी फलन को दर्शाता है. यदि $f$ ऐसा एक फलन है, हम लिखते हैं $f\colon X\to Y$. मान लीजिये $X\times Y$ के तत्वों के क्रमित जोड़े $X$ तथा $Y$ को निरूपित करें वह है, $X$ तथा $Y$ कार्तीय उत्पाद. यहां, $X$ तथा $Y$ सेट हो सकते हैं, या वे प्रकार हो सकते हैं, या वे अन्य प्रकार के वस्तु हो सकते हैं, जैसा कि नीचे दिखाया गया है।

एक कलन दिया

$f\colon (X\times Y)\to Z$,

करी एक नया फलन बनाता है

$h\colon X\to (Y\to Z)$.

अर्थात्, $h$ $X$ से तर्क लेता है और एक फलन देता है जो $Y$ को $Z$ पर मापता है. इसके द्वारा परिभाषित किया गया है

$h(x)(y)=f(x,y)$

$x$ से $X$ तथा $y$ से $Y$ के लिये. फिर हम भी लिखते हैं

${\text{curry}}(f)=h.$

अनकरींग व्युत्क्रम ट्रांसफ़ॉर्मेशन है, और इसके सही आसन्न, लागू | फलन के संदर्भ में सबसे आसानी से समझा जाता है $\operatorname {apply} .$

सेट सिद्धांत

सेट सिद्धांत में, संकेतन $Y^{X}$ सेट से फलनों के सेट (गणित) $X$ सेट पर $Y$ को निरूपित करने के लिए उपयोग किया जाता है. करी $A^{B\times C}$सेट से फलनों की $B\times C$ से $A$ के बीच प्राकृतिक समानता है, और सेट $(A^{C})^{B}$ से फलनों की $B$ फलनों के सेट से $C$ से $A$. प्रतीकों में:

$A^{B\times C}\cong (A^{C})^{B}$

वास्तविक में, यह प्राकृतिक आपत्ति है जो फलनों के सेट के लिए घातीय संकेतन को सही ठहराती है। जैसा कि करीने के सभी उदाहरणों में होता है, ऊपर दिया गया सूत्र एक सहायक कारक का वर्णन करता है: प्रत्येक निश्चित सेट के लिए $C$, काम करनेवाला $B\mapsto B\times C$ प्रकार्यक के पास $A\mapsto A^{C}$छोड़ दिया जाता है.

सेट की श्रेणी में, गणितीय वस्तु $Y^{X}$ घातीय वस्तु कहा जाता है।

कलन रिक्त स्थान

फलन रिक्त स्थान के सिद्धांत में, जैसे कि कार्यात्मक विश्लेषण या होमोटॉपी सिद्धांत में, सामान्यतः टोपोलॉजिकल स्पेस स्थान के बीच निरंतर फलनों में महत्त्व होती है। $X$ से $Y$ तक सभी फलनो के सेट के लिए एक ${\text{Hom}}(X,Y)$ लिखता है, और निरंतर फलनों के सबसेट को दर्शाने के लिये संकेतन $Y^{X}$ का उपयोग करता है (मैं एक आदमी के रूप में काम करता हूं) ${\text{curry}}$ आक्षेप है

${\text{curry}}:{\text{Hom}}(X\times Y,Z)\to {\text{Hom}}(X,{\text{Hom}}(Y,Z)),$

जबकि अनकरींग व्युत्क्रम चित्र है। यदि सेट $Y^{X}$ से निरंतर फलनों की $X$ से $Y$ विनिमेय-खुला टोपोलॉजी दी जाती है, और यदि स्पेस $Y$ तब स्थानीय रूप से विनिमेय हौसडॉर्फ है

${\text{curry}}:Z^{X\times Y}\to (Z^{Y})^{X}$

जब $X$, $Y$ तथा $Y^{X}$ सघन से उत्पन्न होते हैं, तो फिर एक होमियोमोर्फिज्म होगा, जबकि और भी स्थितियां हैं।

एक उपयोगी उपप्रमेय यह है कि एक फलन निरंतर होता है यदि और केवल यदि इसका करीड रूप निरंतर हो तो ही निरंतर फलन होगा। एक अन्य महत्वपूर्ण परिणाम यह है कि अनुप्रयोग प्रतिचित्र, जिसे सामान्यतः इस संदर्भ में "मूल्यांकन" कहा जाता है, निरंतर है (ध्यान दें कि eval कंप्यूटर विज्ञान में एक पूरी तरह से अलग अवधारणा है।) अर्थात,

${\begin{aligned}&&{\text{eval}}:Y^{X}\times X\to Y\\&&(f,x)\mapsto f(x)\end{aligned}}$

जब $Y^{X}$ विनिमेय-खुला होता है और $Y$ स्थानीय रूप से विनिमेय हौसडॉर्फ निरंतर फलन होता है। होमोटॉपी की निरंतरता को स्थापित करने के लिए ये दो परिणाम केंद्रीय हैं, अर्थात जब $X$ इकाई अंतराल $I$ है, ताकि $Z^{I\times Y}\cong (Z^{Y})^{I}$ या तो दो फलनों $Y$ से $Z$ के होमोटॉपी के रूप में सोचा जा सकता है, या, समतुल्य, एक एकल (निरंतर) पथ $Z^{Y}$है.

बीजगणितीय टोपोलॉजी ashif

बीजगणितीय टोपोलॉजी में, करी एकमैन-हिल्टन द्वैत के उदाहरण के रूप में कार्य करता है, और, जैसे, विभिन्न सेटिंग्स में एक महत्वपूर्ण भूमिका निभाता है। उदाहरण के लिए, लूप स्पेस कम निलंबन के निकट है; इसे सामान्यतः इस रूप में लिखा जाता है

$[\Sigma X,Z]\approxeq [X,\Omega Z]$

कहाँ पे $[A,B]$ नक्शों की होमोटॉपी कक्षाओं का सेट है $A\rightarrow B$, तथा $\Sigma A$ ए का निलंबन (टोपोलॉजी) है, और $\Omega A$ ए का लूप स्पेस है। संक्षेप में, निलंबन $\Sigma X$ के कार्टेशियन उत्पाद के रूप में देखा जा सकता है $X$ इकाई अंतराल के साथ, अंतराल को लूप में बदलने के लिए एक तुल्यता संबंध मॉड्यूल करें। कढ़ी रूप तब अंतरिक्ष को मैप करता है $X$ लूप्स से फ़ंक्शंस के स्थान पर $Z$, यानी से $X$ में $\Omega Z$.फिर ${\text{curry}}$ आसन्न फ़ंक्टर है जो लूप स्पेस के लिए निलंबन को मैप करता है, और अनकरीइंग डुअल है।

मैपिंग कोन (टोपोलॉजी) और मैपिंग फाइबर (cofibration और कंपन) के बीच द्वंद्व करीने के एक रूप के रूप में समझा जा सकता है, जो बदले में लंबे सटीक अनुक्रम और कॉक्सैक्ट पपी अनुक्रमों के द्वंद्व की ओर जाता है।

समरूप बीजगणित में, करी और अनकरींग के बीच संबंध को टेंसर-होम संयोजन के रूप में जाना जाता है। यहाँ, एक दिलचस्प मोड़ उत्पन्न होता है: होम फ़ंक्टर और टेन्सर उत्पाद फ़ंक्टर एक सटीक क्रम में (गणित) नहीं उठा सकते हैं; यह Ext functor और Tor functor की परिभाषा की ओर ले जाता है।

डोमेन सिद्धांत

आदेश सिद्धांत में, अर्थात्, आंशिक रूप से आदेशित सेटों के जाली (क्रम) का सिद्धांत, ${\text{curry}}$ जाली को स्कॉट टोपोलॉजी दिए जाने पर एक सतत कार्य होता है। लैम्ब्डा कैलकुस के लिए शब्दार्थ प्रदान करने के प्रयास में स्कॉट-निरंतर फलनों की पहली बार जांच की गई थी (जैसा कि सामान्य सेट सिद्धांत ऐसा करने के लिए अपर्याप्त है)। अधिक सामान्यतः, स्कॉट-निरंतर फलनों का अध्ययन अब डोमेन सिद्धांत में किया जाता है, जिसमें कंप्यूटर एल्गोरिदम के सांकेतिक शब्दार्थ का अध्ययन शामिल है। ध्यान दें कि स्कॉट टोपोलॉजी टोपोलॉजिकल स्पेस की श्रेणी में आने वाली कई सामान्य टोपोलॉजी से काफी अलग है; स्कॉट टोपोलॉजी सामान्यतः अंतिम टोपोलॉजी है, और शांत स्थान नहीं है।

निरंतरता की धारणा होमोटोपी प्रकार के सिद्धांत में प्रकट होती है, जहां, मोटे तौर पर बोलना, दो कंप्यूटर प्रोग्रामों को होमोटोपिक माना जा सकता है, अर्थात समान परिणामों की गणना करें, यदि वे एक से दूसरे में लगातार संकेत रीफैक्टरिंग कर सकते हैं।

लैम्ब्डा गणना

सैद्धांतिक कंप्यूटर विज्ञान में, करींग लैम्ब्डा कैलकुस जैसे बहुत ही सरल सैद्धांतिक मॉडल में कई तर्कों के साथ फलनों का अध्ययन करने का एक विधि प्रदान करता है, जिसमें कार्य केवल एक तर्क लेते हैं। एक कलन पर विचार करें $f(x,y)$ दो तर्क लेना, और प्रकार रखना $(X\times Y)\to Z$, जिसका अर्थ यह समझा जाना चाहिए कि x का प्रकार होना चाहिए $X$, y का प्रकार होना चाहिए $Y$, और फलन स्वयं प्रकार लौटाता है $Z$. F के कढ़ी रूप को परिभाषित किया गया है

${\text{curry}}(f)=\lambda x.(\lambda y.(f(x,y)))$

कहाँ पे $\lambda$ लैम्ब्डा कैलकुलस का अमूर्त है। चूंकि करी, इनपुट के रूप में, प्रकार के साथ कार्य करती है $(X\times Y)\to Z$, कोई निष्कर्ष निकालता है कि करी का प्रकार ही है

${\text{curry}}:((X\times Y)\to Z)\to (X\to (Y\to Z))$

→ ऑपरेटर को अक्सर सही सहयोगी माना जाता है, इसलिए करी फलन प्रकार $X\to (Y\to Z)$ अक्सर के रूप में लिखा जाता है $X\to Y\to Z$. इसके विपरीत, कलन आवेदन को ऑपरेटर सहयोगीता माना जाता है | बाएं-सहयोगी, ताकि $f(x,y)$ के बराबर है

$(({\text{curry}}(f)\;x)\;y)={\text{curry}}(f)\;x\;y$.

यही है, आवेदन के क्रम को स्पष्ट करने के लिए कोष्ठक की आवश्यकता नहीं है।

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

प्रकार सिद्धांत

प्रकार के सिद्धांत में, कंप्यूटर विज्ञान में एक प्रकार की प्रणाली के सामान्य विचार को एक विशिष्ट बीजगणित के प्रकारों में औपचारिक रूप दिया जाता है। उदाहरण के लिए, लिखते समय $f\colon X\to Y$, आशय यह है $X$ तथा $Y$ टाइप सिस्टम हैं, जबकि एरो $\to$ एक प्रकार कंस्ट्रक्टर टाइप करें है, विशेष रूप से, फलन प्रकार या तीर प्रकार। इसी तरह, कार्टेशियन उत्पाद $X\times Y$ प्रकार का निर्माण उत्पाद प्रकार कन्स्ट्रक्टर द्वारा किया जाता है $\times$.

प्रकार-सैद्धांतिक दृष्टिकोण प्रोग्रामिंग भाषाओं जैसे एमएल (प्रोग्रामिंग भाषा) और उससे प्राप्त और प्रेरित भाषाओं में व्यक्त किया गया है: सीएएमएल, हास्केल (प्रोग्रामिंग भाषा) और एफ शार्प (प्रोग्रामिंग भाषा) | एफ #।

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

तर्क

करी-हावर्ड पत्राचार के तहत, करी और अनकरींग का अस्तित्व तार्किक प्रमेय के बराबर है $(A\land B)\to C\Leftrightarrow A\to (B\to C)$, क्योंकि टुपल्स (उत्पाद प्रकार) तर्क में संयोजन से मेल खाता है, और फलन प्रकार निहितार्थ से मेल खाता है।

घातीय वस्तु $Q^{P}$ Heyting algebras की श्रेणी में सामान्य रूप से सामग्री सशर्त के रूप में लिखा जाता है $P\to Q$. वितरण हेटिंग बीजगणित बूलियन बीजगणित हैं, और घातीय वस्तु का स्पष्ट रूप है $\neg P\lor Q$, इस प्रकार यह स्पष्ट करता है कि घातीय वस्तु वास्तव में भौतिक निहितार्थ (अनुमान का नियम) है।

श्रेणी सिद्धांत

करीइंग और अनकरींग की उपरोक्त धारणाएं श्रेणी सिद्धांत में उनके सबसे सामान्य, अमूर्त कथन को खोजती हैं। Currying एक घातीय वस्तु की एक सार्वभौमिक संपत्ति है, और कार्टेशियन बंद श्रेणी में एक संयोजन (श्रेणी सिद्धांत) को जन्म देती है। अर्थात्, एक उत्पाद (श्रेणी सिद्धांत) से रूपवाद (श्रेणी सिद्धांत) के बीच एक प्राकृतिक परिवर्तन समरूपता है। $f\colon (X\times Y)\to Z$ और एक घातीय वस्तु के लिए morphisms $g\colon X\to Z^{Y}$.

यह बंद मोनोइडल श्रेणी में एक व्यापक परिणाम के लिए सामान्यीकरण करता है: करीइंग यह कथन है कि मोनोइडल श्रेणी और आंतरिक होम आसन्न फ़ैक्टर हैं; यानी हर वस्तु के लिए $B$ एक प्राकृतिक परिवर्तन है:

$\mathrm {Hom} (A\otimes B,C)\cong \mathrm {Hom} (A,B\Rightarrow C).$

यहाँ, होम श्रेणी में सभी morphisms के (बाहरी) होम-फ़ंक्टर को दर्शाता है, जबकि $B\Rightarrow C$ बंद monoidal श्रेणी में आंतरिक होम functor को दर्शाता है। समुच्चयों की श्रेणी के लिए, दोनों समान हैं। जब उत्पाद कार्तीय उत्पाद है, तो आंतरिक होम $B\Rightarrow C$ घातीय वस्तु बन जाती है $C^{B}$.

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

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

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

== आंशिक फलन एप्लिकेशन == के साथ तुलना करें

Main article: Partial application

करी और आंशिक कार्य अनुप्रयोग अक्सर मिश्रित होते हैं। दोनों के बीच महत्वपूर्ण अंतरों में से एक यह है कि आंशिक रूप से लागू किए गए फलन के लिए कॉल तुरंत परिणाम देता है, करींग श्रृंखला के नीचे कोई अन्य फलन नहीं; इस भेद को उन फलनों के लिए स्पष्ट रूप से चित्रित किया जा सकता है जिनकी संख्या दो से अधिक है। प्रकार का एक कार्य दिया $f\colon (X\times Y\times Z)\to N$, करी पैदा करता है ${\text{curry}}(f)\colon X\to (Y\to (Z\to N))$. यही है, जबकि पहले फलन का मूल्यांकन इस रूप में प्रदर्शित किया जा सकता है $f(1,2,3)$, करीबी कलन के मूल्यांकन के रूप में प्रतिनिधित्व किया जाएगा $f_{\text{curried}}(1)(2)(3)$, प्रत्येक तर्क को पिछले मंगलाचरण द्वारा लौटाए गए एकल-तर्क फलन के बदले में लागू करना। ध्यान दें कि कॉल करने के बाद $f_{\text{curried}}(1)$, हम एक ऐसे फलन के साथ बचे हैं जो एक तर्क लेता है और दूसरा फलन देता है, न कि एक ऐसा फलन जो दो तर्क लेता है।

इसके विपरीत, आंशिक फलन एप्लिकेशन एक फलन के लिए कई तर्कों को ठीक करने की प्रक्रिया को संदर्भित करता है, जो कि छोटे arity के दूसरे फलन का निर्माण करता है। की परिभाषा दी $f$ ऊपर, हम पहले तर्क को ठीक (या 'बाइंड') कर सकते हैं, जिससे एक प्रकार का फलन तैयार होता है ${\text{partial}}(f)\colon (Y\times Z)\to N$. इस कलन के मूल्यांकन के रूप में प्रतिनिधित्व किया जा सकता है $f_{\text{partial}}(2,3)$. ध्यान दें कि इस स्थितियों में आंशिक फलन एप्लिकेशन का परिणाम एक ऐसा फलन है जो दो तर्क लेता है।

सहज रूप से, आंशिक फलन एप्लिकेशन कहता है कि यदि आप फलन के पहले पैरामीटर (कंप्यूटर विज्ञान) को ठीक करते हैं, तो आपको शेष तर्कों का एक फलन मिलता है। उदाहरण के लिए, यदि फलन div डिवीजन ऑपरेशन x/y के लिए खड़ा है, तो पैरामीटर x के साथ div 1 पर तय किया गया है (यानी, div 1) एक और फलन है: फलन inv के समान जो इसके तर्क के गुणात्मक व्युत्क्रम को परिभाषित करता है, परिभाषित आमंत्रण द्वारा (y) = 1/y.

आंशिक अनुप्रयोग के लिए व्यावहारिक अभिप्रेरणा यह है कि बहुत बार किसी फलन के लिए सभी नहीं बल्कि कुछ तर्क देकर प्राप्त किए गए फलन उपयोगी होते हैं; उदाहरण के लिए, कई भाषाओं में समान कार्य या संचालिका होती है plus_one. आंशिक अनुप्रयोग इन फलनों को परिभाषित करना आसान बनाता है, उदाहरण के लिए एक फलन बनाकर जो इसके पहले तर्क के रूप में 1 बाउंड के साथ अतिरिक्त ऑपरेटर का प्रतिनिधित्व करता है।

आंशिक अनुप्रयोग को एक निश्चित बिंदु पर एक निश्चित कार्य के मूल्यांकन के रूप में देखा जा सकता है, उदा। दिया गया $f\colon (X\times Y\times Z)\to N$ तथा $a\in X$ फिर ${\text{curry}}({\text{partial}}(f)_{a})(y)(z)={\text{curry}}(f)(a)(y)(z)$ या केवल ${\text{partial}}(f)_{a}={\text{curry}}_{1}(f)(a)$ कहाँ पे ${\text{curry}}_{1}$ करी एफ का पहला पैरामीटर।

इस प्रकार, आंशिक अनुप्रयोग एक निश्चित बिंदु पर एक करीबी कलन में कम हो जाता है। इसके अलावा, एक निश्चित बिंदु पर एक घुमावदार कार्य (तुच्छ रूप से), एक आंशिक अनुप्रयोग है। अधिक साक्ष्य के लिए, ध्यान दें कि, कोई भी कार्य दिया गया है $f(x,y)$, एक कलन $g(y,x)$ इस प्रकार परिभाषित किया जा सकता है $g(y,x)=f(x,y)$. इस प्रकार, किसी भी आंशिक आवेदन को एक करी ऑपरेशन में घटाया जा सकता है। जैसे, करी को एक ऑपरेशन के रूप में अधिक उपयुक्त रूप से परिभाषित किया गया है, जो कई सैद्धांतिक मामलों में, अक्सर पुनरावर्ती रूप से लागू होता है, लेकिन जो सैद्धांतिक रूप से अप्रभेद्य है (जब एक ऑपरेशन के रूप में माना जाता है) आंशिक आवेदन से।

तो, एक आंशिक अनुप्रयोग को कुछ फलन के इनपुट के कुछ क्रम पर करी ऑपरेटर के एकल अनुप्रयोग के उद्देश्य परिणाम के रूप में परिभाषित किया जा सकता है।

यह भी देखें

• टेंसर-होम संयोजन
• आलसी मूल्यांकन
• क्लोजर (कंप्यूटर साइंस)
• एसएमएन प्रमेय |S m
  n प्रमेय
• बंद मोनोइडल श्रेणी

संदर्भ

• Schönfinkel, Moses (1924). "Über die Bausteine der mathematischen Logik". Math. Ann. 92 (3–4): 305–316. doi:10.1007/BF01448013. S2CID 118507515.
• Heim, Irene; Kratzer, Angelika (1998). Semantics in a Generative Grammar. Malden: Blackwall Publishers. ISBN 0-631-19712-5.

इस पेज में लापता आंतरिक लिंक की सूची

• अंक शास्त्र
• कलन (गणित)
• आंशिक आवेदन
• लैम्ब्डा कैलकुलस
• प्रोग्रामिंग भाषाओं में मौलिक अवधारणाएँ
• क्रमित युग्म
• कार्तीय गुणन
• समुच्चय सिद्धान्त
• कलन स्थान
• द्विभाजन
• अगर और केवल अगर
• होमोटॉपी वर्ग
• सहायक संचालिका
• लिफ्ट (गणित)
• लंबा सटीक क्रम
• टेंसर उत्पाद
• गुड़िया अनुक्रम
• जाली (आदेश)
• होमोटॉपी प्रकार सिद्धांत
• ऑपरेटर साहचर्य
• क्लोजर (कंप्यूटर साइंस)
• प्रकार प्रणाली
• कलन प्रकार
• सरल रूप से टाइप किया हुआ लैम्ब्डा कैलकुलस
• मोनोइडल श्रेणियां
• टपल
• सामग्री निहितार्थ (अनुमान का नियम)
• समाकृतिकता
• क्वांटम गणना
• बस टाइप किया हुआ लैम्ब्डा कैलकुलस
• पूर्ण आंशिक आदेश
• सदिश स्थल
• रैखिक प्रकार प्रणाली
• रैखिक तर्क
• उलझी हुई क्वांटम अवस्थाएँ
• arity

बाहरी संबंध

• Currying Schonfinkelling at the Portland Pattern Repository
• Currying != Generalized Partial Application! - post at Lambda-the-Ultimate.org