एडजंक्शन (adjunction) का एक परिचित उदाहरण क्या है?

मुक्त समूह फंक्टर (free group functor) उस फंक्टर का लेफ्ट एडजॉइंट (left adjoint) है जो एक समूह की समूह संरचना (group structure) को उसके अंतर्निहित सेट (underlying set) में भूल जाता है। एक सेट से एक समूह में मैप्स (maps) स्वाभाविक रूप से उस सेट पर मुक्त समूह से होमोमोर्फिज्म (homomorphisms) के अनुरूप होते हैं, जो ठीक एडजंक्शन द्विपक्षीय संबंध (adjunction bijection) है।

गणितज्ञ क्यों कहते हैं कि एडजॉइंट फंक्टर्स (adjoint functors) हर जगह उत्पन्न होते हैं?

मुक्त संरचनाएं (free constructions), पूर्णताएं (completions), उत्पाद (products) और घातांक (exponentials), और एक संरचना तथा उसके एक सरल छाया के बीच कई संबंध एडजंक्शन (adjunctions) हैं। यह पैटर्न इतना सामान्य है कि एक एडजंक्शन को पहचानना अक्सर एक संरचना के सार्वभौमिक गुण (universal property) और सीमाओं (limits) या को-लिमिट्स (colimits) के उसके संरक्षण का सबसे तेज़ मार्ग होता है।

एडजॉइंट फंक्टर्स (Adjoint Functors)

एडजॉइंट फंक्टर्स, फंक्टर्स के ऐसे युग्म होते हैं जो मॉर्फिज्म (morphisms) के बीच एक प्राकृतिक पत्राचार (natural correspondence) द्वारा संबंधित होते हैं। यह एक व्यापक पैटर्न है जो गणित में मुक्त संरचनाओं (free constructions), फॉरगेटफुल फंक्टर्स (forgetful functors) और इष्टतम समाधानों (optimal solutions) को समाहित करता है।

PaperMind से विषय खोजेंजल्द हीFind papers & topics

Tools & resources

स्लाइड डाउनलोड करें

Learn & explore

वीडियोजल्द ही

Definition

एक फंक्टर (functor) विपरीत दिशा में एक फंक्टर का लेफ्ट एडजॉइंट (left adjoint) होता है जब स्रोत के एक ऑब्जेक्ट (object) से एक ऑब्जेक्ट की इमेज (image) तक के मॉर्फिज्म (morphisms) और उसकी इमेज से उस ऑब्जेक्ट तक के मॉर्फिज्म के बीच एक प्राकृतिक द्विपक्षीय संबंध (natural bijection) होता है; यह एकल संबंध प्रत्येक ऑब्जेक्ट के लिए एक सार्वभौमिक गुण (universal property) को एन्कोड करता है।

Scope

यह विषय होम-सेट (hom-sets) के प्राकृतिक द्विपक्षीय संबंध (natural bijection) द्वारा एक एडजंक्शन (adjunction) की परिभाषा, यूनिट (unit) और को-यूनिट (counit) के माध्यम से और सार्वभौमिक तीरों (universal arrows) के माध्यम से समतुल्य सूत्रण (equivalent formulations), राइट एडजॉइंट्स (right adjoints) द्वारा सीमाओं (limits) और लेफ्ट एडजॉइंट्स (left adjoints) द्वारा को-लिमिट्स (colimits) का संरक्षण, एडजॉइंट फंक्टर प्रमेय (adjoint functor theorems), और एडजंक्शन (adjunctions) तथा मोनाड्स (monads) के बीच संबंध को शामिल करता है।

Core questions

दो फंक्टर्स के बीच एक एडजंक्शन को कौन सा प्राकृतिक पत्राचार परिभाषित करता है?
यूनिट (unit) और को-यूनिट (counit) एडजंक्शन को कैसे एन्कोड करते हैं?
राइट एडजॉइंट्स (right adjoints) सीमाओं (limits) को और लेफ्ट एडजॉइंट्स (left adjoints) को-लिमिट्स (colimits) को क्यों संरक्षित करते हैं?
एक फंक्टर का एडजॉइंट कब होता है?

Key theories

होम-सेट एडजंक्शन (Hom-set adjunction): एक एडजंक्शन (adjunction) दो होम-फंक्टर्स (hom-functors) के बीच एक प्राकृतिक आइसोमोर्फिज्म (natural isomorphism) है, इसलिए प्रत्येक लेफ्ट एडजॉइंट (left adjoint) राइट एडजॉइंट द्वारा प्रस्तुत समस्या का मुक्त या सबसे कुशल समाधान प्रदान करता है।
यूनिट (Unit), को-यूनिट (counit), और त्रिभुज पहचान (triangle identities): एक एडजंक्शन (adjunction) को समतुल्य रूप से यूनिट (unit) और को-यूनिट (counit) प्राकृतिक परिवर्तनों (natural transformations) द्वारा दिया जाता है जो त्रिभुज पहचान (triangle identities) को संतुष्ट करते हैं, एक ऐसा विवरण जो गणना और मोनाड्स (monads) को परिभाषित करने के लिए उपयुक्त है।
सीमाओं (limits) और को-लिमिट्स (colimits) का संरक्षण: राइट एडजॉइंट्स (right adjoints) सभी सीमाओं (limits) को संरक्षित करते हैं और लेफ्ट एडजॉइंट्स (left adjoints) सभी को-लिमिट्स (colimits) को संरक्षित करते हैं, एक तथ्य जो कई निरंतरता (continuity) और यथार्थता गुणों (exactness properties) की व्याख्या करता है और अस्तित्व मानदंड (existence criteria) देने वाले एडजॉइंट फंक्टर प्रमेय (adjoint functor theorems) का समर्थन करता है।

Clinical relevance

एडजंक्शन (Adjunctions) गणित के सबसे एकीकृत विचारों में से हैं: मुक्त समूह (free groups), टेंसर-होम संबंध (tensor-hom relationships), स्टोन-चेक कॉम्पैक्टिफिकेशन (Stone-Cech compactification), और तर्क में सिंटैक्स (syntax) और सिमेंटिक्स (semantics) के बीच संबंध सभी एडजंक्शन हैं। एक को पहचानने से तुरंत सार्वभौमिक गुण (universal properties) और संरक्षण परिणाम (preservation results) प्राप्त होते हैं, यही कारण है कि श्रेणी सिद्धांतकार (category theorists) एडजॉइंटनेस (adjointness) को केंद्रीय अवधारणा मानते हैं।

History

डैनियल कान (Daniel Kan) ने 1958 में एडजॉइंट फंक्टर्स (adjoint functors) की शुरुआत की, जिसमें मुक्त (free) और फॉरगेटफुल फंक्टर्स (forgetful functors) तथा अन्य दोहरी संरचनाओं (dual constructions) से संबंधित आवर्ती पैटर्न को पहचाना गया। लॉवरे (Lawvere) ने एडजंक्शन (adjunctions) को मौलिक के रूप में उजागर किया, जिसमें सिंटैक्स (syntax) और सिमेंटिक्स (semantics) के बीच एडजॉइंटनेस (adjointness) भी शामिल है, और फ्रेयड (Freyd) के एडजॉइंट फंक्टर प्रमेय (adjoint functor theorems) ने एडजॉइंट्स (adjoints) के अस्तित्व के लिए सामान्य शर्तें दीं।

Key figures

Daniel Kan
Saunders Mac Lane
F. William Lawvere
Peter Freyd

Seminal works

maclane1998
awodey2010
riehl2016

Frequently asked questions

एडजंक्शन (adjunction) का एक परिचित उदाहरण क्या है?: मुक्त समूह फंक्टर (free group functor) उस फंक्टर का लेफ्ट एडजॉइंट (left adjoint) है जो एक समूह की समूह संरचना (group structure) को उसके अंतर्निहित सेट (underlying set) में भूल जाता है। एक सेट से एक समूह में मैप्स (maps) स्वाभाविक रूप से उस सेट पर मुक्त समूह से होमोमोर्फिज्म (homomorphisms) के अनुरूप होते हैं, जो ठीक एडजंक्शन द्विपक्षीय संबंध (adjunction bijection) है।
गणितज्ञ क्यों कहते हैं कि एडजॉइंट फंक्टर्स (adjoint functors) हर जगह उत्पन्न होते हैं?: मुक्त संरचनाएं (free constructions), पूर्णताएं (completions), उत्पाद (products) और घातांक (exponentials), और एक संरचना तथा उसके एक सरल छाया के बीच कई संबंध एडजंक्शन (adjunctions) हैं। यह पैटर्न इतना सामान्य है कि एक एडजंक्शन को पहचानना अक्सर एक संरचना के सार्वभौमिक गुण (universal property) और सीमाओं (limits) या को-लिमिट्स (colimits) के उसके संरक्षण का सबसे तेज़ मार्ग होता है।