क्लेस्ली श्रेणी

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

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

मान लो〈T, η, μ〉एक श्रेणी C पर एक मोनाड (श्रेणी सिद्धांत) बनें। C की 'क्लेस्ली श्रेणी' श्रेणी C_T है जिनकी वस्तुएं और आकारिकी द्वारा दी गई हैं

${\begin{aligned}\mathrm {Obj} ({{\mathcal {C}}_{T}})&=\mathrm {Obj} ({\mathcal {C}}),\\\mathrm {Hom} _{{\mathcal {C}}_{T}}(X,Y)&=\mathrm {Hom} _{\mathcal {C}}(X,TY).\end{aligned}}$

अर्थात्, प्रत्येक आकारिकी f: X → TY C में (कोडोमेन TY के साथ) को C_T (लेकिन कोडोमेन Y के साथ) में एक आकारिकी के रूप में भी माना जा सकता है। C_T में आकारिकी की संरचना द्वारा दिया गया है

$g\circ _{T}f=\mu _{Z}\circ Tg\circ f:X\to TY\to T^{2}Z\to TZ$

जहां f: X → T Y और g: Y → T Z। पहचान रूपवाद मोनाड यूनिट η द्वारा दिया गया है:

$\mathrm {id} _{X}=\eta _{X}$.

इसे लिखने का एक वैकल्पिक विधि, जो उस श्रेणी को स्पष्ट करता है जिसमें प्रत्येक वस्तु रहती है, मैक लेन द्वारा उपयोग किया जाता है। हम इस प्रस्तुति के लिए बहुत थोड़े भिन्न संकेतन का उपयोग करते हैं। उपरोक्त के रूप में एक ही मोनाड और श्रेणी $C$ को देखते हुए, हम $C$ में प्रत्येक वस्तु $X$ के साथ एक नई वस्तु $X_{T}$, और $C$ में प्रत्येक आकारिकी $f\colon X\to TY$ के लिए एक आकारिकी $f^{*}\colon X_{T}\to Y_{T}$ जोड़ते हैं। साथ में, ये वस्तुएँ और आकृतियाँ मिलकर हमारी श्रेणी $C_{T}$ बनाती हैं, जहाँ हम परिभाषित करते हैं

$g^{*}\circ _{T}f^{*}=(\mu _{Z}\circ Tg\circ f)^{*}.$

फिर पहचान आकारिकी में $C_{T}$ है

$\mathrm {id} _{X_{T}}=(\eta _{X})^{*}.$

एक्सटेंशन ऑपरेटर और क्लेस्ली ट्रिपल्स

क्लेस्ली तीरों की संरचना को विस्तार ऑपरेटर (-) के माध्यम से संक्षेप में व्यक्त किया जा सकता है^# : होम (X, TY) → होम (TX, TY)। श्रेणी C पर एक मोनाड 〈T, η, μ〉 दिया गया है और एक आकारिकी f : X → TY चलो

$f^{\sharp }=\mu _{Y}\circ Tf.$

क्लेस्ली श्रेणी C में रचना_T तब लिखा जा सकता है

$g\circ _{T}f=g^{\sharp }\circ f.$

विस्तार ऑपरेटर पहचान को संतुष्ट करता है:

${\begin{aligned}\eta _{X}^{\sharp }&=\mathrm {id} _{TX}\\f^{\sharp }\circ \eta _{X}&=f\\(g^{\sharp }\circ f)^{\sharp }&=g^{\sharp }\circ f^{\sharp }\end{aligned}}$

जहाँ f : X → TY और g : Y → TZ। यह इन गुणों से तुच्छ रूप से अनुसरण करता है कि क्लेस्ली रचना साहचर्य है और वह η_X पहचान है।

वास्तव में, एक मोनाड देना एक क्लेस्ली ट्रिपल 〈T, η, (-) देना है^#〉, यानी

• एक समारोह $T\colon \mathrm {ob} (C)\to \mathrm {ob} (C)$;
• प्रत्येक वस्तु के लिए $A$ में $C$, एक रूपवाद $\eta _{A}\colon A\to T(A)$;
• प्रत्येक रूपवाद के लिए $f\colon A\to T(B)$ में $C$, एक रूपवाद $f^{\sharp }\colon T(A)\to T(B)$

जैसे कि एक्सटेंशन ऑपरेटरों के लिए उपरोक्त तीन समीकरण संतुष्ट हैं।

क्लेस्ली एडजंक्शन

क्लेस्ली श्रेणियों को मूल रूप से यह दिखाने के लिए परिभाषित किया गया था कि प्रत्येक मोनाड एक संयोजन से उत्पन्न होता है। वह रचना इस प्रकार है।

चलो 〈T, η, μ〉 एक श्रेणी C पर एक मोनाड हो और C को जाने दो_T संबंधित क्लेस्ली श्रेणी हो। उपरोक्त "औपचारिक परिभाषा" खंड में वर्णित मैक लेन के नोटेशन का उपयोग करके, एक फ़ंक्टर F: C → C परिभाषित करें_T द्वारा

$FX=X_{T}\;$

$F(f\colon X\to Y)=(\eta _{Y}\circ f)^{*}$

और एक फ़ैक्टर जी: सी_T → C द्वारा

$GY_{T}=TY\;$

$G(f^{*}\colon X_{T}\to Y_{T})=\mu _{Y}\circ Tf\;$

कोई यह दिखा सकता है कि F और G वास्तव में फ़ैक्टर हैं और F को G के समीप छोड़ दिया गया है। एडजंक्शन का कॉउंट द्वारा दिया गया है

$\varepsilon _{Y_{T}}=(\mathrm {id} _{TY})^{*}:(TY)_{T}\to Y_{T}.$

अंत में, कोई यह दिखा सकता है कि T = GF और μ = GεF ताकि 〈T, η, μ〉 आसन्न 〈F, G, η, ε〉 से जुड़ा मोनाड हो।

दिखा रहा है कि GF = T

श्रेणी C में किसी वस्तु X के लिए:

${\begin{aligned}(G\circ F)(X)&=G(F(X))\\&=G(X_{T})\\&=TX.\end{aligned}}$

किसी के लिए $f:X\to Y$ श्रेणी C में:

${\begin{aligned}(G\circ F)(f)&=G(F(f))\\&=G((\eta _{Y}\circ f)^{*})\\&=\mu _{Y}\circ T(\eta _{Y}\circ f)\\&=\mu _{Y}\circ T\eta _{Y}\circ Tf\\&={\text{id}}_{TY}\circ Tf\\&=Tf.\end{aligned}}$

तब से $(G\circ F)(X)=TX$ C और में किसी वस्तु एक्स के लिए सच है $(G\circ F)(f)=Tf$ C में किसी भी आकारिकी f के लिए सत्य है, तब $G\circ F=T$. Q.E.D.

संदर्भ

• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (2nd ed.). Springer. ISBN 0-387-98403-8. Zbl 0906.18001.
• Pedicchio, Maria Cristina; Tholen, Walter, eds. (2004). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001.
• Riguet, Jacques; Guitart, Rene (1992). "Enveloppe Karoubienne et categorie de Kleisli". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 33 (3): 261–6. MR 1186950. Zbl 0767.18008.

बाहरी संबंध

• Kleisli category at the nLab