फंक्टर

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

शब्द श्रेणी और क्रियात्मकता क्रमशः दार्शनिकों अरस्तू और रुडोल्फ कार्नाप के गणितज्ञों द्वारा उधार लिए गए थे। उत्तरार्द्ध भाषाविज्ञान संदर्भ में क्रियात्मकता का उपयोग किया, इसके लिए फ़ंक्शन शब्द देखें।

परिभाषा
C और D को श्रेणी (गणित) में C से D तक 'क्रियात्मकता' F मैपिंग है
 * प्रत्येक वस्तु को संबद्ध करता है $$X$$ किसी वस्तु के लिए सी में $$F(X)$$ डी में,
 * प्रत्येक रूपांतरण को संबद्ध करता है $$f \colon X \to Y$$ C में मॉर्फिज्म $$F(f) \colon F(X) \to F(Y)$$ D में ऐसा है कि निम्नलिखित दो शर्तें हैं:
 * $$F(\mathrm{id}_{X}) = \mathrm{id}_{F(X)}\,\!$$ हर वस्तु के लिए $$X$$ C में,
 * $$F(g \circ f) = F(g) \circ F(f)$$ सभी रूपों के लिए $$f \colon X \to Y\,\!$$ और $$g \colon Y\to Z$$ C।

अर्थात क्रियात्मकता को मॉर्फिज्म की रूपरेखा को संरक्षित करना चाहिए और मॉर्फिज़्म की फ़ंक्शन रचना को प्रदर्शित करते हैं।

सहसंयोजक और कॉन्ट्रैवेरियन
गणित में कई निर्माण हैं जो क्रियात्मक होंगे लेकिन इस तथ्य के लिए कि वे आकारिकी को चारों ओर घुमाएंगे और संरचना को व्युत्क्रम रूप में परिवर्तित कर देती हैं। हम तब कॉन्ट्रैवेरियनट फनक्टर f को C से D से मैपिंग के रूप में परिभाषित करते हैं
 * प्रत्येक वस्तु को संबद्ध करता है $$X$$ वस्तु के साथ C में $$F(X)$$ D में,
 * प्रत्येक रूपांतरण को संबद्ध करता है $$f \colon X\to Y$$ मॉर्फिज्म के साथ C में $$F(f) \colon F(Y) \to F(X)$$ D में ऐसा है कि निम्नलिखित दो शर्तें हैं:
 * $$F(\mathrm{id}_X) = \mathrm{id}_{F(X)}\,\!$$ हर वस्तु के लिए $$X$$ C में,
 * $$F(g \circ f) = F(f) \circ F(g)$$ सभी रूपों के लिए $$f \colon X\to Y$$ और $$g \colon Y\to Z$$ C।

ध्यान दें कि कॉन्ट्रैवेरिएंट क्रियात्मकता रचना की दिशा को उलटते हैं।

साधारण क्रियात्मकता को 'कोवेरिएंट क्रियात्मकता' भी कहा जाता है ताकि उन्हें कॉन्ट्रैवेरिएंट वाले से अलग किया जा सके। ध्यान दें कि कोई भी विपरीत श्रेणी में सहसंयोजक क्रियात्मकता के रूप में कॉन्ट्रैवेरिएंट क्रियात्मकता $$C^\mathrm{op}$$ को परिभाषित कर सकता है, कुछ लेखक सभी अभिव्यक्तियों को सहसंयोजक रूप से लिखना पसंद करते हैं अर्थात कहने के अतिरिक्त $$F \colon C\to D$$ कॉन्ट्रैवेरियनट फंक्टर है, वे $$F \colon C^{\mathrm{op}} \to D$$ लिखते हैं (या कभी -कभी $$F \colon C \to D^{\mathrm{op}}$$) और इसे क्रियात्मकता कहते हैं।

कॉन्ट्रैवेरियनट क्रियात्मकता को कभी -कभी कोफंक्टर भी कहा जाता है। यह सम्मेलन है जो वैक्टर I को संदर्भित करता है। वेक्टर क्षेत्र, वर्गों के स्थान के तत्व $$\Gamma(TM)$$ स्पर्शरेखा बंडल की $$TM$$—एएस कॉन्ट्रैवेरियन और कोवेक्टर्स के लिए I से संदर्भित किया जाता हैं। $$\Gamma\mathord\left(T^*M\right)$$ स्पर्शरेखा बंडल की $$T^*M$$ सहसंयोजक हैं। यह शब्दावली भौतिकी में उत्पन्न होती है, और इसके औचित्य का आइंस्टीन योग में सूचकांकों (ऊपर और नीचे) की स्थिति के साथ करना है जैसे $${x'}^{\,i} = \Lambda^i_j x^j$$ के लिए $$\mathbf{x}' = \boldsymbol{\Lambda}\mathbf{x}$$ या $$\omega'_i = \Lambda^j_i \omega_j$$ के लिए $$\boldsymbol{\omega}' = \boldsymbol{\omega}\boldsymbol{\Lambda}^\textsf{T}.$$ इस औपचारिकता में यह देखा गया है कि समन्वय परिवर्तन प्रतीक $$\Lambda^j_i$$ (मैट्रिक्स का प्रतिनिधित्व करना $$\boldsymbol{\Lambda}^\textsf{T}$$) कोवेक्टर निर्देशांक पर उसी प्रकार से वैक्टर के आधार पर कार्य करता है: $$\mathbf{e}_i = \Lambda^j_i\mathbf{e}_j$$-उनसे यह वेक्टर निर्देशांक पर विपरीत तरीके से कार्य करता है (लेकिन उसी तरह जैसे कि आधार पर कोवेक्टर्स: $$\mathbf{e}^i = \Lambda^i_j \mathbf{e}^j$$)। यह शब्दावली श्रेणी के सिद्धांत में उपयोग किए जाने वाले के विपरीत है क्योंकि यह कोवेक्टर्स है जिसमें सामान्य रूप से पुलबैक होते हैं और इस प्रकार कंट्रैथेरिएंट होते हैं, जबकि सामान्य रूप से वैक्टर सहसंयोजक होते हैं क्योंकि उन्हें आगे बढ़ाया जा सकता है। वैक्टर के सहसंयोजक और कॉन्ट्रैवेरियन भी देखें।

विपरीत फंक्शनक
हर फंक्टर $$F \colon C\to D$$ विपरीत क्रियात्मकता को प्रेरित करता है $$F^\mathrm{op} \colon  C^\mathrm{op}\to D^\mathrm{op}$$, जहाँ $$C^\mathrm{op}$$ और $$D^\mathrm{op}$$ इसके विपरीत श्रेणी $$C$$ और $$D$$ हैं इस प्रकार इस परिभाषा से $$F^\mathrm{op}$$ समान विधियों से वस्तुओं और आकारिकी को मानचित्र $$F$$ का उपयोग किया जाता है। तब से $$C^\mathrm{op}$$ के साथ मेल नहीं खाता है $$C$$ श्रेणी के रूप में, और इसी प्रकार $$D$$, $$F^\mathrm{op}$$ $$F$$ से प्रतिष्ठित है। उदाहरण के लिए, रचना करते समय $$F \colon  C_0\to C_1$$ साथ $$G \colon  C_1^\mathrm{op}\to C_2$$, का उपयोग $$G\circ F^\mathrm{op}$$ या $$G^\mathrm{op}\circ F$$ द्वारा करना चाहिए। ध्यान दें कि विपरीत श्रेणी की संपत्ति के बाद, $$\left(F^\mathrm{op}\right)^\mathrm{op} = F$$ को संदर्भित किया जाता है।

द्विभाजक और मल्टीपैक्टर्स
एक द्विभाजक (जिसे बाइनरी क्रियात्मकता के रूप में भी जाना जाता है) फ़ंक्टर है जिसका डोमेन उत्पाद श्रेणी है। उदाहरण के लिए, सींग का फंक्टर Cop × C → Set प्रकार का है। इसे दो तर्कों में फ़ंक्टर के रूप में देखा जा सकता है। होम फंक्टर प्राकृतिक उदाहरण है, यह तर्क में विपरीत है, दूसरे में यह सहसंयोजक की भाँति उपयोग होता है।

'मल्टीफ़ंक्टर' एन चर के लिए क्रियात्मकता अवधारणा का सामान्यीकरण है। उदाहरण के लिए, द्विभाजक के साथ मल्टीफंक्टर n = 2 है।

गुण
क्रियात्मकता स्वयंसिद्ध के दो महत्वपूर्ण परिणाम हैं:
 * F C में प्रत्येक कम्यूटेटिव आरेख को D में कम्यूटेटिव आरेख में बदल देता है,
 * यदि F C में समाकृतिकता है, तो F (f) D में आइसोमोर्फिज्म है।

एक क्रियात्मकता की रचना कर सकता है, अर्थात् यदि F A से B तक क्रियात्मकता है और G B से C तक क्रियात्मकता है तो कोई समग्र क्रियात्मकता बना सकता है, G ∘ F A से C से क्रियात्मकता की रचना साहचर्य है जहाँ परिभाषित किया गया है। क्रियात्मकता की रचना की पहचान क्रियात्मकता है। इससे पता चलता है कि क्रियात्मकता को श्रेणियों में रूपांतरण माना जा सकता है, उदाहरण के लिए छोटी श्रेणियों की श्रेणी में इत्यादि।

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

उदाहरण
\{0\} \mapsto f(\{0\})  = \{f(0)\}       = \{\{\}\},\ $$ $$ \{1\} \mapsto f(\{1\})  = \{f(1)\}       = \{X\},\ $$ $$ \{0,1\} \mapsto f(\{0,1\}) = \{f(0), f(1)\} = \{\{\}, X\}. $$ ध्यान दें कि $$f(\{0, 1\})$$ परिणामस्वरूप तुच्छ टोपोलॉजी उत्पन्न करता है $$X$$।यह भी ध्यान दें कि चूंकि फ़ंक्शन $$f$$ इस उदाहरण में के पावर सेट पर मैप किया गया $$X$$, यह सामान्य रूप से स्थिति नहीं है।
 * आरेख (श्रेणी सिद्धांत): श्रेणियों C और J के लिए, C में टाइप J का आरेख $$D \colon J\to C$$ सहसंयोजक फंक्टर है ।
 * प्रेसीफ (श्रेणी सिद्धांत) या (श्रेणी सैद्धांतिक) प्रेसीफ: C और J के लिए, C पर J प्रेसीफ कॉन्ट्रैवेरियन क्रियात्मकता है $$D \colon C\to J$$ विशेष स्थिति में जब J सेट किया जाता है, तो सेट और फ़ंक्शंस की श्रेणी, d को C पर प्रेसीफ (श्रेणी सिद्धांत) कहा जाता है।
 * प्रीशेव्स (एक टोपोलॉजिकल स्पेस से अधिक): यदि x टोपोलॉजिकल स्पेस है, तो समावेश के अनुसार आंशिक रूप से ऑर्डर सेट ओपन ( x ) x में खुले सेट किए गए है। हर आंशिक रूप से ऑर्डर किए गए सेट के प्रकार ओपन ( x ) ही तीर जोड़कर छोटी श्रेणी बनाता है, U → V यदि और केवल यदि $$U \subseteq V$$ या ओपन (X) पर कॉन्ट्रैवेरियनट क्रियात्मकता को X पर प्रेफ़ेफ़ कहा जाता है। उदाहरण के लिए, हर ओपन समूह U को U पर वास्तविक-मूल्यवान निरंतर कार्यों के साहचर्य बीजगणित को असाइन करके X पर बीजगणितों का प्रेसिफ़ प्राप्त करता है।
 * लगातार फंक्टर: क्रियात्मकता C → D जो C की प्रत्येक वस्तु को D में निश्चित ऑब्जेक्ट X और C में प्रत्येक रूपांतरण को X पर पहचान मॉर्फिज़्म के लिए मैप करता है। इस तरह के फंक्शनल को निरंतर या चयन क्रियात्मकता कहा जाता है।एंडोफंक्टर:: एक फ़ंक्शन जो उसी श्रेणी में श्रेणी को मैप करता है, उदाहरण के रूप बहुपद क्रियात्मकता इसका उदाहरण हैं।पहचान फ़ैक्टर:: श्रेणी सी में, लिखित 1C या आईडीC अपने आप को वस्तु और खुद के लिए रूपांतरण मानते हैं। पहचान फ़ंक्शनर एंडोफंक्टर है।
 * विकर्ण क्रियात्मकता: विकर्ण क्रियात्मकता को क्रियात्मकता के रूप में DC से फंक्टर श्रेणी D तक परिभाषित किया गया है जो उस ऑब्जेक्ट पर प्रत्येक ऑब्जेक्ट को D में निरंतर फ़ंक्शनर को भेजता है।
 * फ़ंक्शन को सीमित करें: इस निश्चित सूचकांक श्रेणी J के लिए यदि प्रत्येक फ़ंक्टर J → C सीमा (श्रेणी सिद्धांत) है उदाहरण के लिए यदि C पूरा हो गया है, तो सीमा फ़ंक्टर CJ → C प्रत्येक फ़ंक्टर को इसकी सीमा सौंपता है। इस फ़ंक्शनर के अस्तित्व को यह महसूस करके सिद्ध किया जाता है कि यह आसन्न क्रियात्मकता है। विकर्ण क्रियात्मकता के लिए राइट-एडजॉइंट और फ्रीड एडज्वाइंट फंक्शनल प्रमेय का आह्वान कर रहा है। इसके लिए पसंद के स्वयंसिद्ध के उपयुक्त संस्करण की आवश्यकता होती है। इसी प्रकार की टिप्पणी को सीमा फंक्टर पर लागू होती है (जो अपने कोलिमिट फंक्टर के प्रत्येक फ़ंक्टर को असाइन करती है और सहसंयोजक है)।
 * पावर सेट फ़न्टर: पावर सेट क्रियात्मकता P : Set → Set प्रत्येक सेट को अपने सत्ता स्थापित और प्रत्येक फ़ंक्शन के लिए मानचित्र $$ f \colon X \to Y$$ उस नक्शे के लिए जो भेजता है $$U \in \mathcal{P}(X)$$ इसकी छवि के लिए $$f(U) \in \mathcal{P}(Y)$$।एक कॉन्ट्रैवेरियन पावर सेट फ़ंक्टर पर भी विचार कर सकता है जो भेजता है $$ f \colon X \to Y $$ उस नक्शे के लिए जो भेजता है $$V \subseteq Y$$ इसकी व्युत्क्रम प्रतिबिम्ब के लिए $$f^{-1}(V) \subseteq X.$$उदाहरण के लिए, यदि $$X = \{0,1\}$$ तब $$F(X) = \mathcal{P}(X) = \{\{\}, \{0\}, \{1\}, X\}$$। मान लीजिए $$f(0) = \{\}$$ और $$f(1) = X$$ इत्यादि। फिर $$F(f)$$ वह फ़ंक्शन है जो किसी भी सबसेट को भेजता है $$U$$ का $$X$$ इसकी छवि के लिए $$f(U)$$, इस मामले में जिसका अर्थ है $$\{\} \mapsto f(\{\}) = \{\}$$, जहाँ $$\mapsto$$ के अनुसार मानचित्रण को दर्शाता है $$F(f)$$, तो यह भी $$(F(f))(\{\})= \{\}$$ लिखा जा सकता है। अन्य मूल्यों के लिए,$$
 * : वह नक्शा जो प्रत्येक सदिश स्थल को अपने दोहरे स्थान को सौंपता है और प्रत्येक रैखिक ऑपरेटर को इसके दोहरे या ट्रांसपोज़ में निश्चित क्षेत्र (गणित) पर सभी वेक्टर रिक्त स्थान की श्रेणी से कॉन्ट्रैवेरियनट फंक्टर है।
 * मौलिक समूह: नुकीले टोपोलॉजिकल रिक्त स्थान की श्रेणी पर विचार करें, अर्थात् प्रतिष्ठित बिंदुओं के साथ टोपोलॉजिकल रिक्त स्थान। वस्तुएं जोड़े हैं (X, x0), जहां X0 टोपोलॉजिकल स्पेस और X है X में बिंदु है। रूपवाद से (X, x0) को (Y, y0) सतत फ़ंक्शन (टोपोलॉजी) मानचित्र द्वारा दिया गया है f : X → Y साथ f(x0) = y0. प्रतिष्ठित बिंदु x के साथ हर टोपोलॉजिकल स्पेस X0 के लिए, X0 पर आधारित मौलिक समूह को निरूपित π1(X, x0) द्वारा परिभाषित कर सकता है। यह X0 पर आधारित लूप के होमोटॉपी वर्गों का समूह (गणित) है, कॉन्टेनेशन के समूह संचालन के साथ किया जाता हैं। यदि f : X → Y नुकीले स्थानों का रूपवाद है, फिर बेस पॉइंट X के साथ X0 में प्रत्येक लूप आधार बिंदु y के साथ y में लूप प्राप्त करने के लिए f0 के साथ बनाया जा सकता है। यह ऑपरेशन होमोटोपी तुल्यता संबंध और छोरों की संरचना के साथ संगत है और हमें समूह π(X, x0) को π(Y, y0) का होमोमोर्फिज्म मिलता है। इस प्रकार हम समूहों की श्रेणी में नुकीले टोपोलॉजिकल रिक्त स्थान की श्रेणी से फ़ंक्टर प्राप्त करते हैं। टोपोलॉजिकल रिक्त स्थान (प्रतिष्ठित बिंदु के बिना) की श्रेणी में, कोई जेनेरिक घटता के होमोटॉपी वर्गों पर विचार करता है, लेकिन जब तक वे समापन बिंदु साझा नहीं करते हैं, तब तक उन्हें बनाया नहीं जा सकता है। इस प्रकार के पास मौलिक समूह के अतिरिक्त मौलिक समूह है, और यह निर्माण फंक्शनल है।
 * निरंतर कार्यों का बीजगणित: वास्तविक सहयोगी बीजगणित की श्रेणी के लिए टोपोलॉजी की श्रेणी (निरंतर नक्शे के रूप में) की श्रेणी से कॉन्ट्रैवेरियनट फंक्टर को हर टोपोलॉजिकल स्पेस 'X' 'D बीजगणित C (' 'X' ') को असाइन करके दिया गया है। उस स्थान पर सभी वास्तविक-मूल्य वाले निरंतर कार्यों में से हैं। हर निरंतर नक्शा f : X → Y बीजगणित समरूपता को प्रेरित करता है C(f) : C(Y) → C(X) नियम से C(f)(φ) = φ ∘ f प्रत्येक φ के लिए c (y) में उपलब्ध हैं।
 * स्पर्शरेखा और स्पर्शरेखा बंडलों: वह नक्शा जो अपने स्पर्शरेखा बंडल में हर अलग-अलग कई गुना को भेजता है और इसके व्युत्पन्न के लिए हर चिकनी नक्शा वेक्टर बंडल ों की श्रेणी में विभिन्न मैनिफोल्ड्स की श्रेणी से सहसंयोजक क्रियात्मकता है। इस कंस्ट्रक्शंस पॉइंटवाइज को करने स्पर्शरेखा स्थान अंतरिक्ष होता है, जो वास्तविक वेक्टर रिक्त स्थान की श्रेणी में नुकीले विभेदक कई गुना की श्रेणी से सहसंयोजक फ़न्टर देता है।इसी तरह, कोटजेंट स्पेस कॉन्ट्रैवेरियनट फंक्टर है, जो अनिवार्य रूप से ऊपर के वेक्टर स्पेस के साथ स्पर्शरेखा अंतरिक्ष की संरचना है।
 * समूह क्रियाएं/अभ्यावेदन: प्रत्येक समूह (गणित) जी को एकल वस्तु के साथ श्रेणी के रूप में माना जा सकता है, जिसका मॉर्फिज़्म जी के तत्व हैं। जी से 'सेट' तक क्रियात्मकता तब कुछ भी नहीं है, लेकिन जी की समूह कार्रवाई (गणित) जी पर कुछ भी नहीं है।एक विशेष सेट, अर्ताथ जी-सेट या इसी तरह, G से वेक्टर रिक्त स्थान की श्रेणी में फंक्टर, 'वेक्ट'K, सामान्य रूप से जी का रैखिक प्रतिनिधित्व है, फंक्टर G → C श्रेणी C में किसी वस्तु पर G की कार्रवाई के रूप में माना जा सकता है। यदि C समूह है, तो यह कार्रवाई समूह समरूपता है।
 * लाई बीजगणित: हर वास्तविक (जटिल) को असाइन करना लाई समूह का वास्तविक (जटिल) लाई एलजेब्रा क्रियात्मकता को परिभाषित करता है।
 * टेंसर उत्पाद : यदि C निश्चित क्षेत्र पर वेक्टर रिक्त स्थान की श्रेणी को दर्शाता है, तो रेखीय ऑपरेटर के रूप में मॉर्फिज्म के साथ, फिर टेंसर उत्पाद $$V \otimes W$$ फ़ंक्टर को परिभाषित करता है C × C → C जो दोनों तर्कों में सहसंयोजक है।
 * भुलक्कड़ क्रियात्मकता: फंक्टर U : Grp → Set जो अपने अंतर्निहित सेट के लिए समूह (गणित) को मैप करता है और सेट के अपने अंतर्निहित कार्य के लिए समूह समरूपता क्रियात्मकता है। इन जैसे फंक्शन्स, जो कुछ संरचना को भूल जाते हैं, को क्रियात्मकता कहा जाता है। अन्य उदाहरण फंक्टर Rng → Ab है, जो अपने अंतर्निहित एडिटिव एबेलियन समूह के लिए अंगूठी (बीजगणित) को मैप करता है। आरएनजी ( रिंग समरूपता ) में मॉर्फिज्म AB ( एबेलियन ग्रुप होमोमोर्फिज्म) में मॉर्फिज्म बन जाता है।
 * फ्री क्रियात्मकता: फोल्डफुल क्रियात्मकता के विपरीत दिशा में जाना मुफ्त क्रियात्मकता हैं। फ्री फंक्टर F : Set → Grp प्रत्येक सेट X को X द्वारा उत्पन्न मुफ्त समूह को भेजता है। फ़ंक्शंस को फ्री समूहों के बीच समूह होमोमोर्फिज्म के लिए मैप किया जाता है। संरचित सेटों के आधार पर कई श्रेणियों के लिए नि: शुल्क निर्माण सम्मलित हैं। मुक्त वस्तु देखें।
 * होमोमोर्फिज़्म समूह: हर जोड़ी के लिए, समूह (गणित) के बी (गणित) एबेलियन ग्रुप होम (A, B) को A से B तक सभी समूह होमोमोर्फिज्म से मिलकर असाइन कर सकते हैं दूसरा तर्क अर्ताथ यह फ़ंक्टर है Abop × Ab → Ab (जहां AB समूह होमोमोर्फिज्म के साथ एबेलियन समूहों की श्रेणी को दर्शाता है)। यदि f : A1 → A2 और g : B1 → B2 AB में मॉर्फिज्म हैं, फिर समूह समरूपतावाद Hom(f, g): Hom(A2, B1) → Hom(A1, B2) द्वारा दिया गया है, इसके लिए φ ↦ g ∘ φ ∘ f होम फंक्टर देखें।
 * प्रतिनिधित्व योग्य फ़ंक्शन: हम पिछले उदाहरण को किसी भी श्रेणी C के लिए सामान्य कर सकते हैं। Hom(X, Y) X से Y तक के रूपों में हैं। यह क्रियात्मकता को 'सेट' करने के लिए परिभाषित करता है जो पहले तर्क में कंट्रैथेरिएंट है और दूसरे में सहसंयोजक, अर्ताथ यह Cop × C → Set क्रियात्मकता है। यदि f : X1 → X2 और g : Y1 → Y2 C में मॉर्फिज्म हैं, फिर नक्शा Hom(f, g) : Hom(X2, Y1) → Hom(X1, Y2) द्वारा दिया गया है φ ↦ g ∘ φ ∘ f. इन जैसे फ़नक को प्रतिनिधित्व योग्य क्रियात्मकता कहा जाता है। कई सेटिंग्स में महत्वपूर्ण लक्ष्य यह निर्धारित करना है कि क्या दिया गया फ़ंक्टर प्रतिनिधित्व योग्य है।

अन्य श्रेणीबद्ध अवधारणाओं से संबंध
C और D को श्रेणियां C से D तक के सभी फ़नक्रेटर्स का संग्रह श्रेणी की वस्तुओं को बनाता है: क्रियात्मकता श्रेणी इस श्रेणी में मॉर्फिज्म क्रियात्मकता के बीच प्राकृतिक परिवर्तन हैं।

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

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

यह भी देखें

 * क्रियात्मकता श्रेणी
 * कान विस्तार
 * स्यूडोफंक्चर

संदर्भ




बाहरी कड़ियाँ

 * see and the variations discussed and linked to there.
 * André Joyal, CatLab, a wiki project dedicated to the exposition of categorical mathematics
 * formal introduction to category theory.
 * J. Adamek, H. Herrlich, G. Stecker, Abstract and Concrete Categories-The Joy of Cats
 * Stanford Encyclopedia of Philosophy: "Category Theory" — by Jean-Pierre Marquis. Extensive bibliography.
 * List of academic conferences on category theory
 * Baez, John, 1996,"The Tale of n-categories." An informal introduction to higher order categories.
 * WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations, universal properties.
 * The catsters, a YouTube channel about category theory.
 * Video archive of recorded talks relevant to categories, logic and the foundations of physics.
 * Interactive Web page which generates examples of categorical constructions in the category of finite sets.
 * Interactive Web page which generates examples of categorical constructions in the category of finite sets.