घातीय ऑब्जेक्ट

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

परिभाषा
मान लीजिये $$\mathbf{C}$$ एक श्रेणी हो, और $$Z$$ तथा $$Y$$ $$\mathbf{C}$$ की वस्तु (श्रेणी सिद्धांत) हो, और $$\mathbf{C}$$ के पास $$Y$$ के साथ सभी बाइनरी उत्पाद (श्रेणी सिद्धांत) हैं. एक वस्तु $Z^Y$ एक साथ एक आकारिकी के साथ $\mathrm{eval}\colon (Z^Y \times Y) \to Z$  किसी भी वस्तु के लिए एक चरघातीय वस्तु है किसी वस्तु के लिये $$X$$ और  $g \colon X\times Y \to Z$  एक अद्वितीय आकारिकी $\lambda g\colon X\to Z^Y$  (का स्थानांतरण कहा जाता है $$g$$) है, जैसे  कि निम्न आरेख क्रमविनिमेय आरेख में बदलना: प्रत्येक $$g$$ के लिए एक अद्वितीय $$\lambda g$$ का यह कार्य होम-सेट का एक समरूपता (आक्षेप)  $\mathrm{Hom}(X\times Y,Z) \cong \mathrm{Hom}(X,Z^Y)$  को स्थापित करता है यदि $Z^Y$ सभी वस्तुओं के लिए उपस्थित है $$Z, Y$$ में $$\mathbf{C}$$, फिर गुणन $$(-)^Y \colon \mathbf{C}\to \mathbf{C}$$ द्वारा वस्तुओं पर परिभाषित $$Z \mapsto Z^Y$$ और तीर पर $$(f\colon X\to Z) \mapsto (f^Y\colon X^Y \to Z^Y)$$, उत्पाद फ़ंक्टर के लिए एक सही आसन्न है $$-\times Y$$. इस कारण से, आकारिकी $$\lambda g$$ तथा $$g$$ कभी-कभी एक दूसरे के चरघातांकी संलग्नक कहलाते हैं।

समान परिभाषा
वैकल्पिक रूप से, घातीय वस्तु को समीकरणों के माध्यम से परिभाषित किया जा सकता है:
 * उपस्थितगी में $$\lambda g$$ ऑपरेशन के अस्तित्व की गारंटी है $$\lambda - $$.
 * उपरोक्त आरेखों की क्रमविनिमेयता समानता द्वारा गारंटीकृत है $$\forall g \colon X \times Y \to Z,\ \mathrm{eval} \circ (\lambda g \times \mathrm{id}_Y) = g$$.
 * की विशिष्टता $$\lambda g$$ समानता की गारंटी है $$\forall h \colon X \to Z^Y, \ \lambda (\mathrm{eval} \circ (h \times \mathrm{id}_Y)) = h$$.

सार्वभौमिक संपत्ति
घातीय $$Z^Y$$ उत्पाद फ़ंक्टर से एक सार्वभौमिक आकारिकी द्वारा दिया गया है $$- \times Y$$ वस्तु को $$Z$$. इस सार्वभौमिक रूपवाद में एक वस्तु होती है $$Z^Y$$ और एक रूपवाद $\mathrm{eval}\colon (Z^Y \times Y) \to Z$.

उदाहरण
सेट की श्रेणी में, एक घातीय वस्तु $$Z^Y$$ सभी कार्यों (गणित) का सेट है $$Y \to Z$$. नक्शा $$\mathrm{eval}\colon (Z^Y \times Y) \to Z$$ केवल वह लागू होता है, जो जोड़ी भेजता है $$(f, y)$$ प्रति $$f(y)$$. किसी भी नक्शे के लिए $$g\colon X \times Y \to Z$$ नक्शा $$\lambda g\colon X \to Z^Y$$ का करी रूप है $$g$$:
 * $$\lambda g(x)(y) = g(x,y).\,$$

एक हेटिंग बीजगणित $$H$$ केवल एक बंधी हुई जाली (क्रम) है जिसमें सभी घातीय वस्तुएँ हैं। हेटिंग निहितार्थ, $$Y \Rightarrow Z$$, के लिए एक वैकल्पिक संकेतन है $$Z^Y$$. उपरोक्त संयोजन परिणाम निहितार्थ में अनुवाद करते हैं ($$\Rightarrow : H \times H \to H$$) शामिल होने और मिलने के ठीक बगल में होना ($$\wedge : H \times H \to H$$). इस संयोजन को इस प्रकार लिखा जा सकता है $$(- \wedge Y) \dashv (Y \Rightarrow -)$$, या अधिक पूरी तरह से: $$(- \wedge Y): H \stackrel {\longrightarrow} {\underset {\longleftarrow}{\top}} H: (Y \Rightarrow -)$$ टोपोलॉजिकल स्पेस की श्रेणी में, एक्सपोनेंशियल ऑब्जेक्ट $$Z^Y$$ उपस्थित है बशर्ते कि $$Y$$ एक स्थानीय रूप से कॉम्पैक्ट स्पेस हौसडॉर्फ स्पेस है। ऐसे में स्पेस $$Z^Y$$ से सभी निरंतर कार्य (टोपोलॉजी) का सेट है $$Y$$ प्रति $$Z$$ कॉम्पैक्ट-ओपन टोपोलॉजी के साथ। मूल्यांकन मानचित्र सेट की श्रेणी के समान ही है; यह उपरोक्त टोपोलॉजी के साथ निरंतर है। यदि $$Y$$ हॉसडॉर्फ स्थानीय रूप से कॉम्पैक्ट नहीं है, घातीय वस्तु उपस्थित नहीं हो सकती है (space $$Z^Y$$ अभी भी उपस्थित है, लेकिन यह एक घातीय वस्तु होने में विफल हो सकता है क्योंकि मूल्यांकन कार्य निरंतर नहीं होना चाहिए)। इस कारण से टोपोलॉजिकल रिक्त स्थान की श्रेणी कार्तीय बंद होने में विफल रहती है। हालाँकि, स्थानीय रूप से कॉम्पैक्ट टोपोलॉजिकल स्पेस की श्रेणी कार्टेशियन बंद नहीं है, क्योंकि $$Z^Y$$ स्थानीय रूप से कॉम्पैक्ट रिक्त स्थान के लिए स्थानीय रूप से कॉम्पैक्ट होने की आवश्यकता नहीं है $$Z$$ तथा $$Y$$. रिक्त स्थान की एक कार्टेशियन बंद श्रेणी, उदाहरण के लिए, उपश्रेणी#Formal_definition द्वारा दी गई है, जो सघन रूप से उत्पन्न स्थान हौसडॉर्फ रिक्त स्थान द्वारा फैली हुई है।

कार्यात्मक प्रोग्रामिंग भाषाओं में, रूपवाद $$\operatorname{eval}$$ अक्सर होता है| बुलाया $$\operatorname{apply}$$, और वाक्य रचना $$\lambda g$$ अक्सर कार्य अनुप्रयोग # प्रतिनिधित्व | लिखा जाता है $$\operatorname{curry}(g)$$. रूपवाद $$\operatorname{eval}$$ यहाँ eval के साथ भ्रमित नहीं होना चाहिए कुछ प्रोग्रामिंग भाषाओं में कार्य करता है, जो उद्धृत भावों का मूल्यांकन करता है।

यह भी देखें

 * बंद मोनोइडल श्रेणी

बाहरी संबंध

 * Interactive Web page which generates examples of exponential objects and other categorical constructions. Written by Jocelyn Paine.