होम फ़ैक्टर: Difference between revisions

Revision as of 10:56, 7 July 2023

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

औपचारिक परिभाषा

मान लीजिए कि C स्थानीय रूप से छोटी श्रेणी है (अर्थात श्रेणी (गणित) जिसके लिए होम-क्लास वास्तव में सेट (गणित) हैं और उचित वर्ग नहीं हैं)।

सी में सभी ऑब्जेक्ट ए और बी के लिए हम सेट की श्रेणी में दो फ़ैक्टर्स को निम्नानुसार परिभाषित करते हैं:

hom(A, –) : C → सेट	hom(–, B) : C → सेट^[1]
यह एक सहसंयोजक फ़ैक्टर है जो निम्न द्वारा दिया गया है: hom(A, –) सी में प्रत्येक ऑब्जेक्ट एक्स को मॉर्फिज्म, hom के सेट (A, X) पर मैप करता है hom(A, –) प्रत्येक रूपवाद को फलन f : X → Y के लिए मैप करता है hom(A, f) : hom(A, X) → hom(A, Y) द्वारा दिए गए $g\mapsto f\circ g$ प्रत्येक जी के लिए hom(A, X).	यह एक विरोधाभासी फ़ैक्टर है जो इसके द्वारा दिया गया है: hom(–, B) सी में प्रत्येक ऑब्जेक्ट एक्स को मॉर्फिज्म, hom के सेट (X, B) पर मैप करता है hom(–, B) प्रत्येक रूपवाद को फलन h : X → Y के लिए मैप करता है hom(h, B) : hom(Y, B) → hom(X, B) द्वारा दिए गए $g\mapsto g\circ h$ प्रत्येक जी के लिए hom(Y, B).

फ़ैक्टर होम(-, बी) को ऑब्जेक्ट बी के बिंदुओं का फ़ैक्टर भी कहा जाता है।

ध्यान दें कि होम के पहले तर्क को ठीक करने से स्वाभाविक रूप से सहसंयोजक फ़ैक्टर उत्पन्न होता है और दूसरे तर्क को ठीक करने से स्वाभाविक रूप से कॉन्ट्रावेरिएंट फ़ंक्टर उत्पन्न होता है। यह उस विधि की कलाकृति है जिसमें किसी को रूपवाद की रचना करनी चाहिए।

फ़ैक्टर्स होम (ए, -) और होम (-, बी) की जोड़ी प्राकृतिक परिवर्तन में संबंधित है। रूपवादों के किसी भी जोड़े के लिए f : B → B' और h : A' → A निम्नलिखित आरेख क्रमविनिमेय आरेख:

दोनों पथ g : A → B से f ∘ g ∘ h : A′ → B′ भेजते हैं।

उपरोक्त आरेख की क्रमविनिमेयता से पता चलता है कि होम (-, -) C × C से 'सेट' तक द्विभाजक है जो पहले तर्क में विरोधाभासी है और दूसरे में सहसंयोजक है। समान रूप से, हम कह सकते हैं कि होम(-,-) द्विभाजक है

Hom(–, –) : C^op × C → Set

जहां c^op C की विपरीत श्रेणी है। संकेतन hom_C डोमेन बनाने वाली श्रेणी पर जोर देने के लिए कभी-कभी hom(-, -) के लिए (-, -) का उपयोग किया जाता है।

योनेडा लेम्मा

उपरोक्त क्रमविनिमेय आरेख का उल्लेख करते हुए, कोई यह देख सकता है कि प्रत्येक रूपवाद

h : A′ → A

एक प्राकृतिक परिवर्तन को जन्म देता है

Hom(h, –) : Hom(A, –) → Hom(A′, –)

और हर रूपवाद

f : B → B′

एक प्राकृतिक परिवर्तन को जन्म देता है

Hom(–, f) : Hom(–, B) → Hom(–, B′)

योनेडा की लेम्मा का तात्पर्य है कि होम फ़ैक्टर्स के बीच प्रत्येक प्राकृतिक परिवर्तन इसी रूप का होता है। दूसरे शब्दों में, होम फ़ैक्टर श्रेणी सी^{C^op} को फ़ैक्टर श्रेणी 'सेट' में एम्बेड करके पूर्ण और फ़ैक्टर को जन्म देते हैं। (सहसंयोजक या विरोधाभासी, यह इस पर निर्भर करता है कि किस होम फ़ैक्टर का उपयोग किया गया है)।

आंतरिक होम फ़ैक्टर

कुछ श्रेणियों में फ़ंक्टर हो सकता है जो होम फ़ंक्टर की तरह व्यवहार करता है, किन्तु 'सेट' के अतिरिक्त श्रेणी सी में ही मान लेता है। ऐसे फ़नकार को 'आंतरिक होम फ़नकार' कहा जाता है, और अधिकांशतः इसे इसी रूप में लिखा जाता है

\left[-\ -\right]:C^{\text{op}}\times C\to C

इसकी उत्पाद-जैसी प्रकृति, या जैसे पर बल देना

\mathop {\Rightarrow } :C^{\text{op}}\times C\to C

इसकी क्रियात्मक प्रकृति पर जोर देने के लिए, या कभी-कभी केवल छोटे स्थिति में:

\operatorname {hom} (-,-):C^{\text{op}}\times C\to C.

उदाहरण के लिए, संबंधों की श्रेणी देखें.

जिन श्रेणियों में आंतरिक होम फ़ैक्टर होता है उन्हें बंद श्रेणी कहा जाता है। जिसके पास वह है

\operatorname {Hom} (I,\operatorname {hom} (-,-))\simeq \operatorname {Hom} (-,-)

,

जहां I बंद श्रेणी की इकाई वस्तु है। बंद मोनोइडल श्रेणी के स्थिति में, यह करी की धारणा तक विस्तारित है, अर्थात्

\operatorname {Hom} (X,Y\Rightarrow Z)\simeq \operatorname {Hom} (X\otimes Y,Z)

जहाँ $\otimes$ द्विफंक्टर है, आंतरिक उत्पाद फ़ंक्टर मोनोइडल श्रेणी को परिभाषित करता है। समरूपता X और Z दोनों में प्राकृतिक समरूपता है। दूसरे शब्दों में, बंद मोनोइडल श्रेणी में, आंतरिक होम फ़ैक्टर आंतरिक उत्पाद फ़ैक्टर का सहायक फ़ैक्टर है। जो वस्तु $Y\Rightarrow Z$ आंतरिक होम कहा जाता है। जब $\otimes$ कार्टेशियन बंद श्रेणी है $\times$ , जो वस्तु $Y\Rightarrow Z$ इसे घातीय वस्तु कहा जाता है, और इसे अधिकांशतः इस $Z^{Y}$ रूप में लिखा जाता है .

आंतरिक होम, जब साथ जंजीर में बंधे होते हैं, तो भाषा बनाते हैं, जिसे श्रेणी की आंतरिक भाषा कहा जाता है। इनमें से सबसे प्रसिद्ध बस टाइप किए गए लैम्ब्डा कैलकुलस हैं, जो कार्टेशियन बंद श्रेणियों की आंतरिक भाषा है, और रैखिक प्रकार प्रणाली, जो बंद मोनोइडल श्रेणी की आंतरिक भाषा है।

गुण

ध्यान दें कि प्रपत्र का फ़ैक्टर

Hom(–, A) : C^op → Set

एक प्रीशीफ (श्रेणी सिद्धांत) है; इसी तरह, होम(ए, -) कॉपरशीफ़ है।

एक फ़नकार F : C → Set जो C में कुछ A के लिए होम (A, -) के लिए प्राकृतिक समरूपता है, को प्रतिनिधित्व योग्य फ़नकार कहा जाता है (या प्रतिनिधित्वयोग्य कॉपरशीफ़); इसी तरह, होम(-, ए) के समतुल्य कॉन्ट्रावेरिएंट फ़ैक्टर को कोरप्रजेंटेबल कहा जा सकता है।

ध्यान दें कि Hom(–, –) : C^op × C → Set' प्रोफ़ंक्टर है, और, विशेष रूप से, यह पहचान प्रोफ़ंक्टर $\operatorname {id} _{C}\colon C\nrightarrow C$ है .

आंतरिक होम फ़ैक्टर सीमा (श्रेणी सिद्धांत) को संरक्षित करता है; वह है, $\operatorname {hom} (X,-)\colon C\to C$ जबकि, सीमा को सीमा तक भेजता है $\operatorname {hom} (-,X)\colon C^{\text{op}}\to C$ सीमाएँ भेजता है $C^{\text{op}}$ , वह कॉलिमिट है $C$ , सीमा में. निश्चित अर्थ में, इसे सीमा या कोलिमिट की परिभाषा के रूप में लिया जा सकता है।

एंडोफन्क्टर Hom(E, –) : Set → Set' को मोनाड (श्रेणी सिद्धांत) की संरचना दी जा सकती है; इस सन्यासी को मोनाड (श्रेणी सिद्धांत) पर्यावरण (या पाठक) सन्यासी कहा जाता है।

अन्य गुण

यदि A एक एबेलियन श्रेणी है और A, A की एक वस्तु है, तो Hom_A(A, -) A से एबेलियन समूह की श्रेणी A तक एक सहसंयोजक बाएँ-स्पष्ट फ़ंक्टर है। यह स्पष्ट है यदि और केवल यदि A प्रक्षेप्य है।^[2]

मान लीजिए कि R रिंग (गणित) है और M बायाँ R-मॉड्यूल (गणित) है। फ़ैक्टर Hom_R(M, –): Mod-R → Ab' मॉड्यूल फ़ैक्टर के टेंसर उत्पाद के ठीक बगल में है - $\otimes$ _R M: Ab → Mod-R.

यह भी देखें

एक्सट ऑपरेटर
फ़ैक्टर श्रेणी
प्रतिनिधित्व करने योग्य फ़नकार

संदर्भ

Mac Lane, Saunders (September 1998). Categories for the Working Mathematician (Second ed.). Springer. ISBN 0-387-98403-8.
Goldblatt, Robert (2006) [1984]. Topoi, the Categorial Analysis of Logic (Revised ed.). Dover Publications. ISBN 978-0-486-45026-1. Archived from the original on 2020-03-21. Retrieved 2009-11-25.
Jacobson, Nathan (2009). Basic algebra. Vol. 2 (2nd ed.). Dover. ISBN 978-0-486-47187-7.

बाहरी संबंध

Hom functor at the nLab
Internal Hom at the nLab

[1] Also commonly denoted C^op → Set, where C^op denotes the opposite category, and this encodes the arrow-reversing behaviour of Hom(–, B).

[2] Jacobson (2009), p. 149, Prop. 3.9.

[1]

[2]

@@ Line 1: / Line 1: @@
 {{Short description|Functor mapping hom objects to an underlying category}}
-गणित में, विशेष रूप से [[श्रेणी सिद्धांत]] में, [[होम-सेट]] (यानी ऑब्जेक्ट (श्रेणी सिद्धांत) के बीच आकारिकी के सेट) [[सेट की श्रेणी]] के लिए महत्वपूर्ण फ़ैक्टर्स को जन्म देते हैं। इन फ़ैक्टर्स को होम-फ़ंक्टर्स कहा जाता है और श्रेणी सिद्धांत और गणित की अन्य शाखाओं में इनके कई अनुप्रयोग हैं।
+गणित में, विशेष रूप से [[श्रेणी सिद्धांत]] में, होम[[होम-सेट|-सेट]] (अर्थात ऑब्जेक्ट श्रेणी सिद्धांत के बीच आकारिकी के सेट) [[सेट की श्रेणी]] के लिए महत्वपूर्ण फ़ैक्टर्स को जन्म देते हैं। इन फ़ैक्टर्स को होम-फ़ंक्टर्स कहा जाता है और श्रेणी सिद्धांत और गणित की अन्य शाखाओं में इनके कई अनुप्रयोग हैं।
 ==औपचारिक परिभाषा==
-मान लीजिए कि C [[स्थानीय रूप से छोटी श्रेणी]] है (यानी [[श्रेणी (गणित)]] जिसके लिए होम-क्लास वास्तव में [[सेट (गणित)]] हैं और [[उचित वर्ग]] नहीं हैं)।
+मान लीजिए कि C [[स्थानीय रूप से छोटी श्रेणी]] है (अर्थात [[श्रेणी (गणित)]] जिसके लिए होम-क्लास वास्तव में [[सेट (गणित)]] हैं और [[उचित वर्ग]] नहीं हैं)।
 सी में सभी ऑब्जेक्ट ए और बी के लिए हम सेट की श्रेणी में दो फ़ैक्टर्स को निम्नानुसार परिभाषित करते हैं:
 :{| class=wikitable
 |-
-! Hom(''A'', &ndash;) : ''C'' &rarr; '''Set'''
+! hom(''A'', &ndash;) : ''C'' &rarr; '''सेट'''
-! Hom(&ndash;, ''B'') : ''C'' &rarr; '''Set'''<ref>Also commonly denoted ''C''<sup>op</sup> &rarr; '''Set''', where ''C''<sup>op</sup> denotes the [[opposite category]], and this encodes the arrow-reversing behaviour of Hom(&ndash;, ''B'').</ref>
+! hom(&ndash;, ''B'') : ''C'' &rarr; '''सेट'''<ref>Also commonly denoted ''C''<sup>op</sup> &rarr; '''Set''', where ''C''<sup>op</sup> denotes the [[opposite category]], and this encodes the arrow-reversing behaviour of Hom(&ndash;, ''B'').</ref>
 |-
-| This is a [[covariant functor]] given by:
+| यह एक सहसंयोजक फ़ैक्टर है जो निम्न द्वारा दिया गया है:
-* Hom(''A'', &ndash;) [[map (mathematics)#As morphisms|maps]] each object ''X'' in ''C'' to the set of morphisms, Hom(''A'', ''X'')
+* hom(''A'', &ndash;) सी में प्रत्येक ऑब्जेक्ट एक्स को मॉर्फिज्म, hom के सेट (''A'', ''X'') पर मैप करता है
-* Hom(''A'', &ndash;) maps each morphism ''f'' : ''X'' → ''Y'' to the [[function (mathematics)|function]]
+* hom(''A'', &ndash;) प्रत्येक रूपवाद को फलन ''f'' : ''X'' → ''Y'' के लिए मैप करता है
-*: Hom(''A'', ''f'') : Hom(''A'', ''X'') → Hom(''A'', ''Y'') given by
+*: hom(''A'', ''f'') : hom(''A'', ''X'') → hom(''A'', ''Y'') द्वारा दिए गए
-*: <math>g \mapsto f \circ g</math> for each ''g'' in Hom(''A'', ''X'').
+*: <math>g \mapsto f \circ g</math> प्रत्येक जी के लिए hom(''A'', ''X'').
-| This is a [[contravariant functor]] given by:
+| यह एक विरोधाभासी फ़ैक्टर है जो इसके द्वारा दिया गया है:
-* Hom(&ndash;, ''B'') maps each object ''X'' in ''C'' to the set of morphisms, Hom(''X'', ''B'')
+* hom(&ndash;, ''B'') सी में प्रत्येक ऑब्जेक्ट एक्स को मॉर्फिज्म, hom के सेट (''X'', ''B'') पर मैप करता है
-* Hom(&ndash;, ''B'') maps each morphism ''h'' : ''X'' → ''Y'' to the function
+* hom(&ndash;, ''B'') प्रत्येक रूपवाद को फलन ''h'' : ''X'' → ''Y'' के लिए मैप करता है
-*: Hom(''h'', ''B'') : Hom(''Y'', ''B'') → Hom(''X'', ''B'') given by
+*: hom(''h'', ''B'') : hom(''Y'', ''B'') → hom(''X'', ''B'') द्वारा दिए गए
-*: <math>g \mapsto g \circ h</math> for each ''g'' in Hom(''Y'', ''B'').
+*: <math>g \mapsto g \circ h</math> प्रत्येक जी के लिए hom(''Y'', ''B'').
 |}
 फ़ैक्टर होम(-, बी) को ऑब्जेक्ट बी के बिंदुओं का फ़ैक्टर भी कहा जाता है।
-ध्यान दें कि होम के पहले तर्क को ठीक करने से स्वाभाविक रूप से सहसंयोजक फ़ैक्टर उत्पन्न होता है और दूसरे तर्क को ठीक करने से स्वाभाविक रूप से कॉन्ट्रावेरिएंट फ़ंक्टर उत्पन्न होता है। यह उस तरीके की कलाकृति है जिसमें किसी को रूपवाद की रचना करनी चाहिए।
+ध्यान दें कि होम के पहले तर्क को ठीक करने से स्वाभाविक रूप से सहसंयोजक फ़ैक्टर उत्पन्न होता है और दूसरे तर्क को ठीक करने से स्वाभाविक रूप से कॉन्ट्रावेरिएंट फ़ंक्टर उत्पन्न होता है। यह उस विधि की कलाकृति है जिसमें किसी को रूपवाद की रचना करनी चाहिए।
 फ़ैक्टर्स होम (ए, -) और होम (-, बी) की जोड़ी [[प्राकृतिक परिवर्तन]] में संबंधित है। रूपवादों के किसी भी जोड़े के लिए f : B → B' और h : A' → A निम्नलिखित आरेख [[क्रमविनिमेय आरेख]]:
-[[File:hom functor.svg|center|320px]]दोनों पथ g : A → B से f तक भेजते हैं∘जी∘एच : ए' → बी'।
+[[File:hom functor.svg|center|320px]]दोनों पथ g : A → B से f ∘ g ∘ h : A′ → B′ भेजते हैं।
 उपरोक्त आरेख की क्रमविनिमेयता से पता चलता है कि होम (-, -) C × C से 'सेट' तक [[द्विभाजक]] है जो पहले तर्क में विरोधाभासी है और दूसरे में सहसंयोजक है। समान रूप से, हम कह सकते हैं कि होम(-,-) द्विभाजक है
-: होम(–, –) : सी<sup>op</sup> × C → 'सेट'
+: Hom(–, –) : ''C''<sup>op</sup> × ''C'' → '''Set'''
-जहां सी<sup>op</sup> C की [[विपरीत श्रेणी]] है। संकेतन होम<sub>''C''</sub>डोमेन बनाने वाली श्रेणी पर जोर देने के लिए कभी-कभी होम(-, -) के लिए (-, -) का उपयोग किया जाता है।
+जहां c<sup>op</sup> C की [[विपरीत श्रेणी]] है। संकेतन hom<sub>''C''</sub> डोमेन बनाने वाली श्रेणी पर जोर देने के लिए कभी-कभी hom(-, -) के लिए (-, -) का उपयोग किया जाता है।
 ==योनेडा लेम्मा==
-{{Main|Yoneda lemma}}
+{{Main|योनेडा लेम्मा}}
 उपरोक्त क्रमविनिमेय आरेख का उल्लेख करते हुए, कोई यह देख सकता है कि प्रत्येक रूपवाद
-: एच : ए' → ए
+: ''h'' : ''A''′ → ''A''
 एक प्राकृतिक परिवर्तन को जन्म देता है
-: होम(एच, -) : होम(ए, -) → होम(ए', -)
+: Hom(''h'', –) : Hom(''A'', –) → Hom(''A''′, –)
 और हर रूपवाद
-: एफ : बी → बी'
+: ''f'' : ''B'' → ''B''′
 एक प्राकृतिक परिवर्तन को जन्म देता है
-: होम(-, एफ) : होम(-, बी) → होम(-, बी')
+: Hom(–, ''f'') : Hom(–, ''B'') → Hom(–, ''B''′)
-योनेडा की लेम्मा का तात्पर्य है कि होम फ़ैक्टर्स के बीच प्रत्येक प्राकृतिक परिवर्तन इसी रूप का होता है। दूसरे शब्दों में, होम [[फ़ैक्टर श्रेणी]] सी को फ़ैक्टर श्रेणी 'सेट' में एम्बेड करके [[पूर्ण और वफादार फ़ैक्टर]] को जन्म देते हैं।<sup>C<sup>op</sup></sup> (सहसंयोजक या विरोधाभासी, यह इस पर निर्भर करता है कि किस होम फ़ैक्टर का उपयोग किया गया है)।
+योनेडा की लेम्मा का तात्पर्य है कि होम फ़ैक्टर्स के बीच प्रत्येक प्राकृतिक परिवर्तन इसी रूप का होता है। दूसरे शब्दों में, होम [[फ़ैक्टर श्रेणी]] सी<sup>C<sup>op</sup></sup> को फ़ैक्टर श्रेणी 'सेट' में एम्बेड करके [[पूर्ण और वफादार फ़ैक्टर|पूर्ण और फ़ैक्टर]] को जन्म देते हैं। (सहसंयोजक या विरोधाभासी, यह इस पर निर्भर करता है कि किस होम फ़ैक्टर का उपयोग किया गया है)।
 ==आंतरिक होम फ़ैक्टर==
-कुछ श्रेणियों में फ़ंक्टर हो सकता है जो होम फ़ंक्टर की तरह व्यवहार करता है, लेकिन 'सेट' के बजाय श्रेणी सी में ही मान लेता है। ऐसे फ़नकार को 'आंतरिक होम फ़नकार' कहा जाता है, और अक्सर इसे इसी रूप में लिखा जाता है
+कुछ श्रेणियों में फ़ंक्टर हो सकता है जो होम फ़ंक्टर की तरह व्यवहार करता है, किन्तु 'सेट' के अतिरिक्त श्रेणी सी में ही मान लेता है। ऐसे फ़नकार को 'आंतरिक होम फ़नकार' कहा जाता है, और अधिकांशतः इसे इसी रूप में लिखा जाता है
 : <math>\left[-\ -\right] : C^\text{op} \times C \to C</math>
-इसकी उत्पाद-जैसी प्रकृति, या जैसे पर जोर देना
+इसकी उत्पाद-जैसी प्रकृति, या जैसे पर बल देना
 : <math>\mathop\Rightarrow : C^\text{op} \times C \to C</math>
-इसकी क्रियात्मक प्रकृति पर जोर देने के लिए, या कभी-कभी केवल छोटे मामले में:
+इसकी क्रियात्मक प्रकृति पर जोर देने के लिए, या कभी-कभी केवल छोटे स्थिति में:
 : <math>\operatorname{hom}(-, -) : C^\text{op} \times C \to C .</math> उदाहरण के लिए, [[संबंधों की श्रेणी]] देखें.
-जिन श्रेणियों में आंतरिक होम फ़ैक्टर होता है उन्हें [[बंद श्रेणी]] कहा जाता है। के पास वह है
+जिन श्रेणियों में आंतरिक होम फ़ैक्टर होता है उन्हें [[बंद श्रेणी]] कहा जाता है। जिसके पास वह है
 : <math>\operatorname{Hom}(I, \operatorname{hom}(-, -)) \simeq \operatorname{Hom}(-, -)</math>,
-जहां I बंद श्रेणी की [[इकाई वस्तु]] है। [[बंद मोनोइडल श्रेणी]] के मामले में, यह [[करी]]ंग की धारणा तक विस्तारित है, अर्थात्
+जहां I बंद श्रेणी की [[इकाई वस्तु]] है। [[बंद मोनोइडल श्रेणी]] के स्थिति में, यह [[करी]] की धारणा तक विस्तारित है, अर्थात्
 : <math>\operatorname{Hom}(X, Y \Rightarrow Z) \simeq \operatorname{Hom}(X\otimes Y, Z)</math>
-कहाँ <math>\otimes</math> द्विफंक्टर है, आंतरिक उत्पाद फ़ंक्टर [[मोनोइडल श्रेणी]] को परिभाषित करता है। समरूपता ''X'' और ''Z'' दोनों में [[प्राकृतिक समरूपता]] है। दूसरे शब्दों में, बंद मोनोइडल श्रेणी में, आंतरिक होम फ़ैक्टर आंतरिक उत्पाद फ़ैक्टर का सहायक फ़ैक्टर है। जो वस्तु <math>Y \Rightarrow Z</math> आंतरिक होम कहा जाता है। कब <math>\otimes</math> कार्टेशियन बंद श्रेणी है <math>\times</math>, जो वस्तु <math>Y \Rightarrow Z</math> इसे [[घातीय वस्तु]] कहा जाता है, और इसे अक्सर इस रूप में लिखा जाता है <math>Z^Y</math>.
+जहाँ <math>\otimes</math> द्विफंक्टर है, आंतरिक उत्पाद फ़ंक्टर [[मोनोइडल श्रेणी]] को परिभाषित करता है। समरूपता ''X'' और ''Z'' दोनों में [[प्राकृतिक समरूपता]] है। दूसरे शब्दों में, बंद मोनोइडल श्रेणी में, आंतरिक होम फ़ैक्टर आंतरिक उत्पाद फ़ैक्टर का सहायक फ़ैक्टर है। जो वस्तु <math>Y \Rightarrow Z</math> आंतरिक होम कहा जाता है। जब <math>\otimes</math> कार्टेशियन बंद श्रेणी है <math>\times</math>, जो वस्तु <math>Y \Rightarrow Z</math> इसे [[घातीय वस्तु]] कहा जाता है, और इसे अधिकांशतः इस <math>Z^Y</math> रूप में लिखा जाता है .
-आंतरिक होम्स, जब साथ जंजीर में बंधे होते हैं, तो भाषा बनाते हैं, जिसे श्रेणी की [[आंतरिक भाषा]] कहा जाता है। इनमें से सबसे प्रसिद्ध बस टाइप किए गए लैम्ब्डा कैलकुलस हैं, जो कार्टेशियन बंद श्रेणियों की आंतरिक भाषा है, और [[रैखिक प्रकार प्रणाली]], जो बंद मोनोइडल श्रेणी की आंतरिक भाषा है।
+आंतरिक होम, जब साथ जंजीर में बंधे होते हैं, तो भाषा बनाते हैं, जिसे श्रेणी की [[आंतरिक भाषा]] कहा जाता है। इनमें से सबसे प्रसिद्ध बस टाइप किए गए लैम्ब्डा कैलकुलस हैं, जो कार्टेशियन बंद श्रेणियों की आंतरिक भाषा है, और [[रैखिक प्रकार प्रणाली]], जो बंद मोनोइडल श्रेणी की आंतरिक भाषा है।
 ==गुण==
 ध्यान दें कि प्रपत्र का फ़ैक्टर
-: होम(-, ए) : सी<sup>ऑप</sup> → सेट करें
+: Hom(–, ''A'') : ''C''<sup>op</sup> → '''Set'''
 एक [[प्रीशीफ (श्रेणी सिद्धांत)]] है; इसी तरह, होम(''ए'', -) कॉपरशीफ़ है।
-एक फ़नकार ''F'' : ''C'' → वह सेट जो ''C'' में कुछ ''A'' के लिए होम (''A'', -) के लिए प्राकृतिक समरूपता है, को प्रतिनिधित्व योग्य फ़नकार कहा जाता है (या प्रतिनिधित्वयोग्य कॉपरशीफ़); इसी तरह, होम(-, ''ए'') के समतुल्य कॉन्ट्रावेरिएंट फ़ैक्टर को कोरप्रजेंटेबल कहा जा सकता है।
+एक फ़नकार ''F'' : ''C'' → '''Set''' जो ''C'' में कुछ ''A'' के लिए होम (''A'', -) के लिए प्राकृतिक समरूपता है, को प्रतिनिधित्व योग्य फ़नकार कहा जाता है (या प्रतिनिधित्वयोग्य कॉपरशीफ़); इसी तरह, होम(-, ''ए'') के समतुल्य कॉन्ट्रावेरिएंट फ़ैक्टर को कोरप्रजेंटेबल कहा जा सकता है।
-ध्यान दें कि होम(–, –) : ''सी''<sup>op</sup> × C → 'सेट' [[प्रोफ़ंक्टर]] है, और, विशेष रूप से, यह पहचान प्रोफ़ंक्टर है <math>\operatorname{id}_C \colon C \nrightarrow C</math>.
+ध्यान दें कि Hom(–, –) : ''C''<sup>op</sup> × ''C'' → '''Set'''<nowiki/>' [[प्रोफ़ंक्टर]] है, और, विशेष रूप से, यह पहचान प्रोफ़ंक्टर <math>\operatorname{id}_C \colon C \nrightarrow C</math> है .
 आंतरिक होम फ़ैक्टर [[सीमा (श्रेणी सिद्धांत)]] को संरक्षित करता है; वह है, <math>\operatorname{hom}(X, -) \colon C \to C</math> जबकि, सीमा को सीमा तक भेजता है <math>\operatorname{hom}(-, X) \colon C^\text{op} \to C</math> सीमाएँ भेजता है <math>C^\text{op}</math>, वह [[कॉलिमिट]] है <math>C</math>, सीमा में. निश्चित अर्थ में, इसे सीमा या कोलिमिट की परिभाषा के रूप में लिया जा सकता है।
-[[ एंडोफन्क्टर ]] होम(ई, -) : 'सेट' → 'सेट' को [[मोनाड (श्रेणी सिद्धांत)]] की संरचना दी जा सकती है; इस सन्यासी को मोनाड (श्रेणी सिद्धांत)#पर्यावरण सन्यासी|पर्यावरण (या पाठक) सन्यासी कहा जाता है।
+[[ एंडोफन्क्टर ]] Hom(''E'', –) : '''Set''' → '''Set'''<nowiki/>' को [[मोनाड (श्रेणी सिद्धांत)]] की संरचना दी जा सकती है; इस सन्यासी को मोनाड (श्रेणी सिद्धांत) पर्यावरण (या पाठक) सन्यासी कहा जाता है।
 ==अन्य गुण==
-यदि ए [[एबेलियन श्रेणी]] है और ''ए'' ए की वस्तु है, तो होम<sub>'''A'''</sub>(ए, -) [[एबेलियन समूह]]ों की श्रेणी 'ए' से 'ए' तक सहसंयोजक सटीक फ़नकार|बाएं-सटीक फ़नकार है। यह सटीक है यदि और केवल यदि A प्रक्षेप्य मॉड्यूल है।<ref>Jacobson (2009), p. 149, Prop. 3.9.</ref>
+यदि A एक [[एबेलियन श्रेणी]] है और A, A की एक वस्तु है, तो Hom<sub>'''A'''</sub>(A, -) A से [[एबेलियन समूह]] की श्रेणी A तक एक सहसंयोजक बाएँ-स्पष्ट फ़ंक्टर है। यह स्पष्ट है यदि और केवल यदि A प्रक्षेप्य है।<ref>Jacobson (2009), p. 149, Prop. 3.9.</ref>
-मान लीजिए कि R रिंग (गणित) है और M बायाँ R-[[मॉड्यूल (गणित)]] है। फनकार होम<sub>'''R'''</sub>(एम, -): 'मॉड'-आर → 'अब'{{clarify|reason=Does Mod-R refer to the category of left R-modules here? This needs to be clarified because a commonly used notation is for "Mod-R" to denote the category of right R-modules and "R-Mod" to denote the category of left R-modules.|date=February 2022}} मॉड्यूल फ़ैक्टर के टेंसर उत्पाद के ठीक बगल में है - <math>\otimes</math><sub>''R''</sub> एम: 'अब' → 'मॉड'-आर।
-==यह भी देखें==
+मान लीजिए कि R रिंग (गणित) है और M बायाँ R-[[मॉड्यूल (गणित)]] है। फ़ैक्टर Hom<sub>'''R'''</sub>(''M'', –): '''Mod'''-''R'' → '''Ab'''<nowiki/>' मॉड्यूल फ़ैक्टर के टेंसर उत्पाद के ठीक बगल में है - <math>\otimes</math><sub>''R''</sub> ''M'': '''Ab''' → '''Mod'''-''R''.
+==यह भी देखें                                                                                                                                                                                                                                  ==
 * [[एक्सट ऑपरेटर]]
-* फनकार श्रेणी
+* फ़ैक्टर श्रेणी
 * प्रतिनिधित्व करने योग्य फ़नकार
-== टिप्पणियाँ ==
+== टिप्पणियाँ                                                                                                                                                                                                                                ==
 <references/>
-==संदर्भ==
+==संदर्भ                                                                                                                                                                                                 ==
 * {{Cite book |first=Saunders |last=Mac Lane |author-link=Saunders Mac Lane|title=Categories for the Working Mathematician | edition=Second |date=September 1998 |publisher=Springer |isbn=0-387-98403-8}}
 * {{Cite book|first=Robert|last=Goldblatt|title=Topoi, the Categorial Analysis of Logic|url=http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3|access-date=2009-11-25|edition=Revised|year=2006|orig-year=1984|publisher=[[Dover Publications]]|isbn=978-0-486-45026-1|archive-date=2020-03-21|archive-url=https://web.archive.org/web/20200321030307/http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3|url-status=dead}}

Anonymous

Search

होम फ़ैक्टर: Difference between revisions

Namespaces

More

Page actions

Revision as of 10:56, 7 July 2023

Contents

औपचारिक परिभाषा

योनेडा लेम्मा

आंतरिक होम फ़ैक्टर

गुण

अन्य गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

होम फ़ैक्टर: Difference between revisions

Revision as of 10:56, 7 July 2023

औपचारिक परिभाषा

योनेडा लेम्मा

आंतरिक होम फ़ैक्टर

गुण

अन्य गुण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories