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

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

परिभाषा
मान लीजिये $$\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$$ हॉसडॉर्फ स्थानीय रूप से विनिमेय नहीं है, घातीय वस्तु उपस्थित नहीं हो सकती है (स्पेस $$Z^Y$$ अभी भी मौजूद है, लेकिन यह एक एक्सपोनेंशियल ऑब्जेक्ट होने में विफल हो सकता है क्योंकि मूल्यांकन फलन को निरंतर होने की आवश्यकता नहीं है)। इस कारण से टोपोलॉजिकल रिक्त स्थान की श्रेणी कार्तीय बंद होने में विफल रहती है।

चूँकि, $$Z^Y$$ स्थानीय रूप से विनिमेय रिक्त स्थान $$Z$$ तथा $$Y$$ के लिए स्थानीय रूप से विनिमेय होने की आवश्यकता नहीं है. रिक्त स्थान की एक कार्तीय बंद श्रेणी, उदाहरण के लिए, रिक्त स्थान की एक कार्तीय बंद श्रेणी, दृढ़तापूर्वक उत्पन्न किए गए हौसडॉर्फ रिक्त स्थान द्वारा फैली पूर्ण उपश्रेणी द्वारा दी गई है।

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

यह भी देखें

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

बाहरी संबंध

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