सहायक कारक

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

परिभाषा के अनुसार, श्रेणियों के मध्य एक संयोजन $$\mathcal{C}$$ और $$\mathcal{D}$$ प्रकार्यक की एक युग्म है (सहसंयोजक प्रकार्यक माना जाता है)


 * $$F: \mathcal{D} \rightarrow \mathcal{C}$$ और $$G: \mathcal{C} \rightarrow \mathcal{D}$$

और, सभी वस्तुओं के लिए $$X$$ में $$\mathcal{C}$$ और $$Y$$ में $$\mathcal{D}$$, संबंधित आकारिकी समुच्चय के मध्य एक आक्षेप


 * $$\mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)$$

ऐसा कि आपत्तियों के इस वर्ग में प्राकृतिक परिवर्तन है $$X$$ और $$Y$$. यहाँ प्राकृतिकता का अर्थ है कि प्रकार्यक की युग्म के मध्य प्राकृतिक समरूपताएँ हैं $$\mathcal{C}(F-,X) : \mathcal{D} \to \mathrm{Set}$$ और $$\mathcal{D}(-,GX) : \mathcal{D} \to \mathrm{Set}$$ एक निश्चित के लिए $$X$$ में $$\mathcal{C}$$, और प्रकार्यक की युग्म भी $$\mathcal{C}(FY,-) : \mathcal{C} \to \mathrm{Set}$$ और $$\mathcal{D}(Y,G-) : \mathcal{C} \to \mathrm{Set}$$ एक निश्चित के लिए $$Y$$ में $$\mathcal{D}$$.

कार्य करनेवाला $$F$$ एक बाएं संलग्न प्रकार्यक या बाएं संलग्न कहा जाता है $$G$$, जबकि $$G$$ एक सही संलग्न प्रकार्यक या सही संलग्न कहा जाता है $$F$$. हम लिखते हैं $$F\dashv G$$.

श्रेणियों के मध्य एक संयोजन $$\mathcal{C}$$ और $$\mathcal{D}$$ के मध्य श्रेणियों की समानता के दुर्बल रूप के समान है $$\mathcal{C}$$ और $$\mathcal{D}$$, और वास्तव में प्रत्येक समानता एक संयोजन है। कई स्थितियों में, सम्मिलित श्रेणियों और प्रकार्यक के एक उपयुक्त प्राकृतिक संशोधन के द्वारा, एक संयोजन को एक तुल्यता में उन्नत किया जा सकता है।

शब्दावली और संकेतन
शब्द संलग्न और अनुलग्न दोनों का उपयोग किया जाता है, और सजातीय हैं: एक सीधे लैटिन से लिया गया है, दूसरा लैटिन से फ्रेंच के माध्यम से लिया गया है। कार्यरत गणितज्ञ के क्लासिक टेक्स्ट कैटेगरीज में, सॉन्डर्स मैक लेन दोनों के मध्य अंतर करता है। एक वर्ग दिया


 * $$\varphi_{XY}: \mathrm{hom}_{\mathcal{C}}(FY,X) \cong \mathrm{hom}_{\mathcal{D}}(Y,GX)$$

होम- समुच्चय आक्षेपों की, हम कहते हैं $$\varphi$$ एक संयोजन या मध्य में एक संयोजन $$ F $$ और $$ G $$. अगर $$f$$ में तीर है $$ \mathrm{hom}_{\mathcal{C}}(FY,X) $$, $$\varphi f$$ का सही सहायक है $$f$$ (पृष्ठ 81)। कार्य करनेवाला $$ F $$ से सटा हुआ है $$G$$, और $$G$$ के ठीक बगल में है $$F$$. (ध्यान दें कि $$G$$ अपने आप में एक दाहिना जोड़ हो सकता है जो इससे काफी अलग है $$F$$; उदाहरण के लिए नीचे देखें।)

सामान्यतः, वाक्यांश$$ F $$ एक वाम सन्निकट है और$$ F $$ एक सही संलग्न है समकक्ष हैं। हम बुलाते है $$F$$ एक बायाँ संलग्न क्योंकि यह के बाएँ तर्क पर अनुप्रयुक्त होता है $$\mathrm{hom}_{\mathcal{C}}$$, और $$G$$ एक सही संलग्न क्योंकि यह सही तर्क के लिए अनुप्रयुक्त होता है $$\mathrm{hom}_{\mathcal{D}}$$.

यदि F को G के सन्निकट छोड़ दिया जाए, तो हम भी लिखते हैं
 * $$F\dashv G.$$

शब्दावली निकटवर्ती संचालकों के हिल्बर्ट अंतरिक्ष विचार से आती है $$T$$, $$U$$ साथ $$\langle Ty,x\rangle = \langle y,Ux\rangle$$, जो औपचारिक रूप से होम- समुच्चय के मध्य उपरोक्त संबंध के समान है। कुछ संदर्भों में हिल्बर्ट रिक्त स्थान के संलग्न प्रतिचित्रो की सादृश्यता को सटीक बनाया जा सकता है।

परिचय और प्रेरणा
"प्रचार वाक्य है "प्रत्येक समष्टि पर संलग्न प्रकार्यक उत्पन्न होते हैं"।"

- सॉन्डर्स मैक लेन, कार्यरत गणितज्ञ के लिए श्रेणियां

सामान्य गणितीय रचनाएं प्रायः संलग्न प्रकार्यक होती हैं। नतीजतन, बाएं/दाएं संलग्न प्रकार्यक के बारे में सामान्य प्रमेय कई उपयोगी और अन्यथा गैर-तुच्छ परिणामों के विवरण को एन्कोड करते हैं। इस तरह के सामान्य प्रमेयों में संलग्न फलकों की विभिन्न परिभाषाओं की समानता सम्मिलित है, किसी दिए गए बाएं संलग्न के लिए दाएं संलग्न की विशिष्टता, तथ्य यह है कि बाएं/दाएं संलग्न प्रकार्यक क्रमशः सीमा (श्रेणी सिद्धांत) को संरक्षित करते हैं। सह सीमाएं/सीमाएं (जो भी पाए जाते हैं) गणित के हर क्षेत्र में), और सामान्य संलग्न प्रकार्यक प्रमेय ऐसी स्थितियाँ देते हैं जिनके तहत दिया गया प्रकार्यक एक बाएँ / दाएँ संलग्न होता है।

अनुकूलन समस्याओं का समाधान
एक अर्थ में, एक सहायक प्रकार्यक एक विधि के माध्यम से किसी समस्या का सबसे कुशल समाधान देने का एक तरीका है जो सूत्र है। उदाहरण के लिए, अंगूठी सिद्धांत  में एक प्रारंभिक समस्या यह है कि कैसे एक Rng (बीजगणित) (जो एक वलय की तरह है जिसकी गुणक पहचान नहीं हो सकती है) को वलय (गणित) में परिवर्तित कर दिया जाए। सबसे कुशल तरीका यह है कि एक तत्व '1' को rng से जोड़ा जाए, सभी (और केवल) तत्वों को जोड़ा जाए जो वलय एक्सिओम्स को संतुष्ट करने के लिए आवश्यक हैं (उदाहरण के लिए वलय में प्रत्येक r के लिए r+1), और कोई संबंध नहीं थोपें। नवगठित वलय जो स्वयंसिद्धों द्वारा मजबूर नहीं हैं। इसके अतिरिक्त, यह निर्माण इस अर्थ में सूत्रबद्ध है कि यह किसी भी आरएनजी के लिए अनिवार्य रूप से उसी तरह कार्य करता है।

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

एक प्रारंभिक संपत्ति का उपयोग करने का विचार कुछ सहायक श्रेणी ई के संदर्भ में समस्या को स्थापित करना है, ताकि हाथ में समस्या ई की प्रारंभिक वस्तु को खोजने के अनुरूप हो। इसका एक फायदा यह है कि अनुकूलन-यह अर्थ है कि प्रक्रिया पाता है सबसे कुशल समाधान-का अर्थ है कुछ कठोर और पहचानने योग्य, बल्कि सर्वोच्चता की प्राप्ति जैसा। इस निर्माण में श्रेणी ई भी सूत्र है, क्योंकि यह सदैव प्रकार्यक के तत्वों की श्रेणी है, जिसके लिए कोई एक संलग्न निर्माण कर रहा है।

हमारे उदाहरण पर वापस जाएं: दिए गए rng R को लें, और एक श्रेणी E बनाएं, जिसकी वस्तुएं R → S से संबंधित हैं, जिसमें S एक गुणक पहचान वाली अंगूठी है। R → S के मध्य E में आकृतिवाद1 और आर → एस2 फॉर्म के क्रमविनिमेय आरेख हैं (आर → एस1, आर → एस2, एस1 → एस2) जहां एस1 → एस2 एक वलय मैप है (जो पहचान को सुरक्षित रखता है)। (ध्यान दें कि यह आरएनजी में एकात्मक छल्ले को सम्मिलित करने पर आर की अल्पविराम श्रेणी की सटीक परिभाषा है।) आर → एस के  मध्य एक आकारिकी का अस्तित्व1 और आर → एस2 तात्पर्य यह है कि एस1 कम से कम एस के रूप में एक कुशल समाधान है2 आपकी समस्या के लिए एस2 अधिक संलग्न तत्व हो सकते हैं और/या एस की तुलना में सिद्धांतों द्वारा लगाए गए अधिक संबंध नहीं हो सकते हैं1. इसलिए, यह अभिकथन कि एक वस्तु R → R* E में आरंभिक है, अर्थात, E के किसी अन्य तत्व में एक आकारिकी है, का अर्थ है कि वलय R* हमारी समस्या का सबसे कुशल समाधान है।

वलयों को वलयों में परिवर्तित करने की यह विधि सबसे कुशल और फॉर्मूलाबद्ध है, यह कहकर एक साथ व्यक्त किया जा सकता है कि यह एक संलग्न फलक को परिभाषित करता है। अधिक स्पष्ट रूप से: F को एक पहचान को rng से जोड़ने की उपरोक्त प्रक्रिया को निरूपित करें, इसलिए F(R)=R*। जी को "भूलने" की प्रक्रिया को निरूपित करने दें कि क्या वलय एस की एक पहचान है और इसे केवल एक आरएनजी के रूप में माना जाता है, इसलिए अनिवार्य रूप से जी (एस) = एस। तब F, G का बायाँ सहायक कारक है।

ध्यान दें कि हमने वास्तव में अभी तक R* का निर्माण नहीं किया है; यह एक महत्वपूर्ण और पूर्णतया से मामूली बीजगणितीय तथ्य नहीं है कि इस तरह के एक बाएं संलग्न फलक R → R* वास्तव में उपस्थित है।

अनुकूलन समस्याओं की समरूपता
प्रकार्यक एफ के साथ प्रारंभ करना भी संभव है, और निम्नलिखित (अस्पष्ट) प्रश्न उठाएं: क्या कोई समस्या है जिसके लिए एफ सबसे कुशल समाधान है?

यह धारणा कि F, G द्वारा प्रस्तुत समस्या का सबसे कुशल समाधान है, एक निश्चित कठोर अर्थ में, इस धारणा के समान है कि G सबसे कठिन समस्या है जिसे F हल करता है।

यह इस तथ्य के पीछे का अंतर्ज्ञान देता है कि संलग्न प्रकार्यक जोड़े में होते हैं: यदि F को G के निकट छोड़ दिया जाता है, तो G, F के ठीक निकट है।

औपचारिक परिभाषाएँ
संलग्न प्रकार्यक के लिए विभिन्न समतुल्य परिभाषाएँ हैं:


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

इन परिभाषाओं की समानता काफी उपयोगी है। गणित के सभी क्षेत्रों में, हर जगह संलग्न कारक उत्पन्न होते हैं। चूंकि इनमें से किसी भी परिभाषा में संरचना दूसरों में संरचनाओं को जन्म देती है, उनके मध्य स्विच करने से कई विवरणों का अंतर्निहित उपयोग होता है जो अन्यथा प्रत्येक विषय क्षेत्र में अलग-अलग दोहराना होगा।

कन्वेंशन
संलग्नों के सिद्धांत की नींव बाएँ और दाएँ हैं, और ऐसे कई घटक हैं जो दो श्रेणियों C और D में से एक में रहते हैं जो विचाराधीन हैं। इसलिए वर्णानुक्रम में अक्षरों का चयन करना मददगार हो सकता है, चाहे वे बाएं श्रेणी सी या दाएं श्रेणी डी में रहते हों, और जब भी संभव हो उन्हें इस क्रम में लिखने के लिए भी।

उदाहरण के लिए इस लेख में, अक्षर X, F, f, ε लगातार उन चीजों को निरूपित करेंगे जो श्रेणी C में रहते हैं, अक्षर Y, G, g, η लगातार उन चीजों को निरूपित करेंगे जो श्रेणी D में रहते हैं, और जब भी संभव हो ऐसे चीजों को बाएं से दाएं क्रम में संदर्भित किया जाएगा (एक प्रकार्यक एफ: डी → सी को रहने के बारे में सोचा जा सकता है जहां इसके आउटपुट सी में हैं)। यदि बाएँ सटे प्रकार्यक F के लिए तीर खींचे गए तो वे बाईं ओर इंगित करेंगे; यदि दाएँ सटे प्रकार्यक G के लिए तीर खींचे गए थे तो वे दाईं ओर इशारा कर रहे होंगे।

सार्वभौम आकारिता के माध्यम से परिभाषा
परिभाषा के अनुसार, एक प्रकार्यक $$F: D \to C$$ यदि प्रत्येक वस्तु के लिए एक बायाँ सन्निकट प्रकार्यक है $$X$$ में $$C$$ एक सार्वभौमिक रूपवाद उपस्थित है से $$F$$ को $$X$$. वर्तनी, इसका मतलब है कि प्रत्येक वस्तु के लिए $$X$$ में $$C$$ एक वस्तु उपस्थित है $$G(X)$$ में $$D$$ और एक रूपवाद $$\epsilon_X: F(G(X)) \to X$$ ऐसा कि हर वस्तु के लिए $$Y$$ में $$D$$ और हर रूपवाद $$f: F(Y) \to X$$ एक अद्वितीय morphism उपस्थित है $$g: Y \to G(X)$$ साथ $$\epsilon_X \circ F(g) = f$$.

बाद वाला समीकरण निम्नलिखित क्रमविनिमेय आरेख द्वारा व्यक्त किया गया है: ऐसी स्थिति में यह दिखाया जा सकता है $$G$$ एक फंक्‍टर में परिवर्तित करा जा सकता है $$G : C \to D$$ एक अनोखे तरीके से ऐसा है $$\epsilon_X \circ F(G(f)) = f \circ \epsilon_{X'}$$ सभी रूपों के लिए $$f: X' \to X$$ में $$C$$; $$F$$ तब इसे बायाँ सन्निकट कहा जाता है $$G$$.

इसी प्रकार, हम दाएं-संलग्न फलकों को परिभाषित कर सकते हैं। एक प्रकार्यक $$G: C \to D$$ यदि प्रत्येक वस्तु के लिए एक सही संलग्न प्रकार्यक है $$Y$$ में $$D$$, वहाँ से एक सार्वभौमिक आकारिकी उपस्थित है $$Y$$ को $$G$$. वर्तनी, इसका मतलब है कि प्रत्येक वस्तु के लिए $$Y$$ में $$D$$, एक वस्तु उपस्थित है $$F(Y)$$ में $$C$$ और एक रूपवाद $$\eta_Y: Y \to G(F(Y))$$ ऐसा कि हर वस्तु के लिए $$X$$ में $$C$$ और हर रूपवाद $$g: Y \to G(X)$$ एक अद्वितीय morphism उपस्थित है $$f: F(Y) \to X$$ साथ $$G(f) \circ \eta_Y = g$$. फिर से, यह $$F$$ विशिष्ट रूप से एक प्रकार्यक में परिवर्तित किया जा सकता है $$F: D \to C$$ ऐसा है कि $$G(F(g)) \circ \eta_Y = \eta_{Y'} \circ g$$ के लिए $$g: Y \to Y'$$ में एक रूपवाद $$D$$; $$G$$ तब इसे दायां संलग्न कहा जाता है $$F$$.

यह सच है, जैसा कि शब्दावली का अर्थ है, कि $$F$$ से सटा हुआ है $$G$$ अगर और केवल अगर $$G$$ के ठीक बगल में है $$F$$.

सार्वभौमिक आकारिता के माध्यम से ये परिभाषाएं प्रायः यह स्थापित करने के लिए उपयोगी होती हैं कि किसी दिए गए प्रकार्यक बाएं या दाएं संलग्न हैं, क्योंकि वे अपनी आवश्यकताओं में न्यूनतर हैं। वे इस अर्थ में भी सहज रूप से सार्थक हैं कि एक सार्वभौमिक रूपवाद को खोजना एक अनुकूलन समस्या को हल करने जैसा है।

होम समुच्चय एडजंक्शन === के माध्यम से परिभाषा == दो श्रेणियों सी और डी के मध्य एक होम- समुच्चय संयोजन में दो कारक एफ होते हैं: डी → सी और G : C → D और एक प्राकृतिक समरूपता
 * $$\Phi:\mathrm{hom}_C(F-,-) \to \mathrm{hom}_D(-,G-)$$.

यह आपत्तियों के वर्ग को निर्दिष्ट करता है
 * $$\Phi_{Y,X}:\mathrm{hom}_C(FY,X) \to \mathrm{hom}_D(Y,GX)$$

सी में सभी वस्तुओं एक्स और डी में वाई के लिए।

इस स्थिति में, 'F, G के बायें सन्निकट है' और 'G, F के दायें सन्निकट है'।

यह परिभाषा एक तार्किक समझौता है जिसमें सार्वभौमिक आकारिकी परिभाषाओं की तुलना में इसे संतुष्ट करना अधिक कठिन है, और इसका तात्कालिक प्रभाव काउनिट-यूनिट परिभाषा की तुलना में कम है। इसकी स्पष्ट समरूपता के कारण और अन्य परिभाषाओं के मध्य एक कदम-पत्थर के रूप में यह उपयोगी है।

एक प्राकृतिक समरूपता के रूप में Φ की व्याख्या करने के लिए, किसी को पहचानना होगा homC(F–, –) और homD(–, G–) प्रकार्यक के रूप में। वास्तव में, वे दोनों द्विभाजक हैं Dop × C से समुच्चय ( समुच्चय की श्रेणी)। विवरण के लिए, मैं कार्य कर रहा हूं पर लेख देखें। स्पष्ट रूप से, Φ की स्वाभाविकता का अर्थ है कि सभी आकारिता के लिए f : X → X′ सी और सभी आकारिता में g : Y′  → Y डी में निम्नलिखित आरेख कम्यूटेटिव आरेख:

इस आरेख में लंबवत तीर रचना द्वारा प्रेरित हैं। औपचारिक रूप से, होम (एफजी, एफ) : होमC(FY, X) → होमC(FY', X') h → f द्वारा दिया गया है o h o होम में प्रत्येक एच के लिए एफजीC(एफवाई, एक्स)। होम (जी, जीएफ) समान है।

काउंटर-यूनिट एडजंक्शन === के माध्यम से परिभाषा == दो श्रेणियों सी और डी के मध्य एक इकाई-इकाई संयोजन में दो कारक एफ होते हैं: डी → सी और जी : सी  → डी और दो प्राकृतिक परिवर्तन
 * $$\begin{align}

\varepsilon &: FG \to 1_{\mathcal C} \\ \eta &: 1_{\mathcal D} \to GF\end{align}$$ क्रमशः काउंट और एडजंक्शन की इकाई (सार्वभौमिक बीजगणित से शब्दावली) कहा जाता है, जैसे रचनाएं
 * $$F\xrightarrow{\;F\eta\;}FGF\xrightarrow{\;\varepsilon F\,}F$$
 * $$G\xrightarrow{\;\eta G\;}GFG\xrightarrow{\;G \varepsilon\,}G$$

पहचान परिवर्तन हैं 1F और 1G क्रमशः एफ और जी पर।

इस स्थिति में हम कहते हैं कि 'F, G के बायीं ओर है' और 'G, F के दायीं ओर है', और इस संबंध को लिख कर इंगित कर सकते हैं$$(\varepsilon,\eta):F\dashv G$$, या केवल$$F\dashv G$$.

समीकरण के रूप में, (ε,η) पर उपरोक्त शर्तें 'गणना-इकाई समीकरण' हैं
 * $$\begin{align}

1_F &= \varepsilon F\circ F\eta\\ 1_G &= G\varepsilon \circ \eta G \end{align}$$ जिसका अर्थ है कि C में प्रत्येक X और D में प्रत्येक Y के लिए,
 * $$\begin{align}

1_{FY} &= \varepsilon_{FY}\circ F(\eta_Y) \\ 1_{GX} &= G(\varepsilon_X)\circ\eta_{GX} \end{align}$$.

ध्यान दें कि $$1_{\mathcal C}$$ श्रेणी पर पहचान प्रकार्यक को दर्शाता है $$\mathcal C$$, $$1_F$$ फंक्टर एफ से स्वयं के लिए पहचान प्राकृतिक परिवर्तन को दर्शाता है, और $$1_{FY}$$ वस्तु FY की पहचान आकृतिवाद को दर्शाता है। ये समीकरण बीजगणितीय जोड़-तोड़ के लिए संलग्न प्रकार्यक के प्रमाण को कम करने में उपयोगी होते हैं। संबंधित स्ट्वलय आरेखों की उपस्थिति के कारण उन्हें कभी-कभी त्रिभुज पहचान या कभी-कभी ज़िग-ज़ैग समीकरण कहा जाता है। उन्हें याद रखने का एक तरीका यह है कि पहले बेतुके समीकरण को लिख लिया जाए $$1=\varepsilon\circ\eta$$ और फिर एफ या जी में से किसी एक को उन दो सरल तरीकों से भरें जो रचनाओं को परिभाषित करते हैं।

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

इतिहास
1958 में डेनियल कैन द्वारा संलग्न प्रकार्यक का विचार पेश किया गया था। श्रेणी सिद्धांत में कई अवधारणाओं की तरह, यह होमोलॉजिकल बीजगणित की जरूरतों के द्वारा सुझाया गया था, जो उस समय कम्प्यूटेशंस के लिए समर्पित था। विषय की सुव्यवस्थित, व्यवस्थित प्रस्तुतियों का सामना करने वालों ने संबंधों पर ध्यान दिया होगा जैसे


 * होम (एफ (एक्स), वाई) = होम (एक्स, जी (वाई))

एबेलियन समूहों की श्रेणी में, जहाँ F प्रकार्यक था $$- \otimes A$$ (अर्थात् ए के साथ टेन्सर उत्पाद लें), और जी फंक्टर होम (ए,–) था (इसे अब टेंसर-होम संयोजन  के रूप में जाना जाता है)।

समान चिह्न का उपयोग अंकन का दुरुपयोग है; वे दो समूह वास्तव में समान नहीं हैं लेकिन उन्हें पहचानने का एक तरीका है जो स्वाभाविक है। इसे इस आधार पर स्वाभाविक रूप से देखा जा सकता है, सबसे पहले, कि ये X × A से Y तक बिलिनियर मैपिंग के दो वैकल्पिक विवरण हैं। हालांकि, यह टेंसर उत्पाद के मामले में कुछ खास है। श्रेणी सिद्धांत में आक्षेप की 'स्वाभाविकता' को एक प्राकृतिक समरूपता की अवधारणा में सम्मिलित किया गया है।

सर्वव्यापकता
यदि कोई इन संलग्न जोड़ों के प्रकार्यक की तलाश करना प्रारंभ करता है, तो वे सार बीजगणित में और अन्य जगहों पर भी बहुत आम हो जाते हैं। नीचे दिया गया उदाहरण खंड इसका प्रमाण प्रदान करता है; इसके अतिरिक्त, सार्वभौमिक निर्माण, जो कुछ लोगों के लिए अधिक परिचित हो सकते हैं, प्रकार्यक के कई संलग्न जोड़े को जन्म देते हैं।

सॉन्डर्स मैक लेन की सोच के अनुसार, किसी भी विचार, जैसे कि संलग्न प्रकार्यक, जो कि गणित में व्यापक रूप से पर्याप्त रूप से होता है, का स्वयं के लिए अध्ययन किया जाना चाहिए।

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

यह कहना शायद गलत है कि उन्होंने अलगाव में संलग्न प्रकार्यक अवधारणा को बढ़ावा दिया: लेकिन ग्रोथेंडिक के दृष्टिकोण में संयोजन की भूमिका की पहचान अंतर्निहित थी। उदाहरण के लिए, उनकी प्रमुख उपलब्धियों में से एक बीजगणितीय किस्मों के एक सतत वर्ग में, सापेक्ष रूप में सेरे द्वैत का सूत्रीकरण था। संपूर्ण प्रमाण एक निश्चित प्रकार्यक के लिए एक सही संलग्न के अस्तित्व पर परिवर्तित कर गया। यह कुछ निर्विवाद रूप से अमूर्त और गैर-रचनात्मक है, लेकिन अपने तरीके से शक्तिशाली भी।

मुक्त समूह
मुक्त समूहों का निर्माण एक सामान्य और रोशन करने वाला उदाहरण है।

चलो एफ: ' समुच्चय की श्रेणी' → 'समूहों की श्रेणी' प्रत्येक समुच्चय वाई को वाई के तत्वों द्वारा उत्पन्न मुक्त समूह को असाइन करने वाला प्रकार्यक हो, और जी को दें: 'जीआरपी' → ' समुच्चय' भुलक्कड़ प्रकार्यक हो, जो असाइन करता है प्रत्येक समूह X को इसका अंतर्निहित  समुच्चय। तब F, G के संलग्न छोड़ दिया जाता है:

'प्रारंभिक आकारिता।' प्रत्येक समुच्चय Y के लिए,  समुच्चय GFY Y द्वारा उत्पन्न मुक्त समूह FY का अंतर्निहित  समुच्चय है। मान लीजिए$$\eta_Y:Y\to GFY$$जेनरेटर को सम्मिलित करके दिए गए  समुच्चय मानचित्र बनें। यह वाई से जी तक एक प्रारंभिक रूपवाद है, क्योंकि वाई से अंतर्निहित  समुच्चय जीडब्ल्यू के लिए कुछ समूह डब्ल्यू के किसी भी  समुच्चय मानचित्र के माध्यम से कारक होगा$$\eta_Y:Y\to GFY$$FY से W तक एक अद्वितीय समूह समरूपता के माध्यम से। यह निश्चित रूप से मुक्त समूह#सार्वभौमिक संपत्ति है।

'टर्मिनल आकारिता।' प्रत्येक समूह X के लिए, समूह FGX, GX, X के तत्वों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है$$\varepsilon_X:FGX\to X$$समूह होमोमोर्फिज्म हो जो एफजीएक्स के जेनरेटर को एक्स के तत्वों के अनुरूप भेजता है, जो मुक्त समूहों की सार्वभौमिक संपत्ति से उपस्थित है। फिर प्रत्येक$$(GX,\varepsilon_X)$$F से X तक एक टर्मिनल रूपवाद है, क्योंकि मुक्त समूह FZ से X तक कोई भी समूह समरूपता कारक होगा$$\varepsilon_X:FGX\to X$$Z से GX तक एक अद्वितीय समुच्चय मैप के माध्यम से। इसका मतलब है कि (एफ, जी) एक संलग्न युग्म है।

'होम- समुच्चय एडजंक्शन।' मुक्त समूह FY से समूह X के समूह समरूपता समुच्चय Y से  समुच्चय GX के मानचित्रों के ठीक अनुरूप होते हैं: FY से X तक प्रत्येक समरूपता जनरेटर पर अपनी कार्रवाई द्वारा पूर्णतया से निर्धारित होती है, मुक्त समूहों की सार्वभौमिक संपत्ति का एक और पुनर्कथन। कोई सीधे सत्यापित कर सकता है कि यह पत्राचार एक प्राकृतिक परिवर्तन है, जिसका अर्थ है कि यह युग्म (एफ, जी) के लिए होम- समुच्चय संयोजन है।

'काउंट-यूनिट एडजंक्शन।' कोई सीधे यह भी सत्यापित कर सकता है कि ε और η प्राकृतिक हैं। फिर, एक सीधा सत्यापन कि वे एक काउंटर-यूनिट एडजंक्शन बनाते हैं$$(\varepsilon,\eta):F\dashv G$$इस प्रकार है:

पहला काउंटर-यूनिट समीकरण$$1_F = \varepsilon F\circ F\eta$$कहते हैं कि प्रत्येक समुच्चय वाई रचना के लिए
 * $$FY\xrightarrow{\;F(\eta_Y)\;}FGFY\xrightarrow{\;\varepsilon_{FY}\,}FY$$

पहचान होनी चाहिए। मध्यवर्ती समूह FGFY मुक्त समूह FY के शब्दों द्वारा स्वतंत्र रूप से उत्पन्न मुक्त समूह है। (इन शब्दों को कोष्ठकों में रखे जाने के बारे में सोचें, यह इंगित करने के लिए कि वे स्वतंत्र जनरेटर हैं।) तीर$$F(\eta_Y)$$FY से FGFY में समूह समरूपता है, जो FGFY के जनरेटर के रूप में लंबाई एक (y) के संबंधित शब्द के लिए FY के प्रत्येक जनरेटर y को भेज रहा है। तीर$$\varepsilon_{FY}$$एफजीएफवाई से एफवाई तक समूह होमोमोर्फिज्म है जो प्रत्येक जनरेटर को वित्त वर्ष के शब्द से मेल खाता है (इसलिए यह नक्शा कोष्ठक छोड़ रहा है)। इन नक्शों की संरचना वास्तव में FY पर पहचान है।

'दूसरा गिनती-इकाई समीकरण'$$1_G = G\varepsilon \circ \eta G$$कहते हैं कि प्रत्येक समूह X के लिए रचना
 * $$GX\xrightarrow{\;\eta_{GX}\;}GFGX\xrightarrow{\;G(\varepsilon_X)\,}GX$$

पहचान होनी चाहिए। इंटरमीडिएट समुच्चय जीएफजीएक्स एफजीएक्स का सिर्फ अंतर्निहित  समुच्चय है। तीर$$\eta_{GX}$$ समुच्चय GX से  समुच्चय GFGX में जेनरेटर  समुच्चय मैप का समावेश है। तीर$$G(\varepsilon_X)$$जीएफजीएक्स से जीएक्स तक  समुच्चय मैप है जो समूह होमोमोर्फिज्म को रेखांकित करता है जो एफजीएक्स के प्रत्येक जनरेटर को एक्स के तत्व से मेल खाता है (कोष्ठकों को छोड़कर)। इन नक्शों की संरचना वास्तव में GX पर पहचान है।

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

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


 * उत्पाद चलो Π : समूह2 → प्रकार्यक को पकड़ें जो प्रत्येक युग्म (X) को असाइन करता है1, एक्स2) उत्पाद समूह X1×X2, और चलो Δ : जीआरपी → जीआरपी2 विकर्ण प्रकार्यक बनें जो उत्पाद श्रेणी Grp में प्रत्येक समूह X युग्म (X, X) को असाइन करता है 2। उत्पाद समूह की सार्वभौमिक संपत्ति दर्शाती है कि Π Δ के दाहिनी ओर है। इस एडजंक्शन का काउंटर X से प्रक्षेपण मानचित्रों की परिभाषित युग्म है1×X2 एक्स को1 और एक्स2 जो सीमा को परिभाषित करता है, और इकाई एक समूह X का X×X में विकर्ण समावेशन है (x को (x, x) से मैप करना)।


 * समुच्चय (गणित) का कार्तीय गुणन, वलयों का गुणनफल, गुणनफल सांस्थितिकी आदि समान पैटर्न का पालन करते हैं; इसे सीधे-सीधे तरीके से केवल दो कारकों से अधिक तक बढ़ाया जा सकता है। अधिक आम तौर पर, किसी भी प्रकार की सीमा एक विकर्ण प्रकार्यक के ठीक निकट होती है।


 * 'कर्नेल।' एबेलियन समूहों के होमोमोर्फिज्म की श्रेणी डी पर विचार करें। अगर एफ1 : ए1 → बी1 और एफ2 : ए2 → बी2 D की दो वस्तुएँ हैं, तो f से एक आकारिकी1 एफ के लिए2 एक युग्म है (जीA, जीB) आकारिकी जैसे कि जीBf1 = च2gA. मान लीजिए कि G : D → 'Ab' वह प्रकार्यक है जो प्रत्येक समाकारिता को उसका कर्नेल (बीजगणित) प्रदान करता है और F: 'Ab →' D वह प्रकार्यक है जो समूह A को समाकारिता A → 0 से मैप करता है। एफ से, जो गुठली की सार्वभौमिक संपत्ति को व्यक्त करता है। इस एडजंक्शन का कॉउनिट होमोमोर्फिज्म के डोमेन में होमोमोर्फिज्म के कर्नेल को परिभाषित करने वाला एम्बेडिंग है, और यूनिट मोर्फिज्म है जो होमोमोर्फिज्म ए → 0 के कर्नेल के साथ समूह ए की पहचान करता है।


 * इस उदाहरण का एक उपयुक्त रूपांतर यह भी दर्शाता है कि वेक्टर रिक्त स्थान और मॉड्यूल के लिए कर्नेल प्रकार्यक सही सन्निकट हैं। अनुरूप रूप से, कोई यह दिखा सकता है कि एबेलियन समूहों, वेक्टर रिक्त स्थान और मॉड्यूल के लिए कोकर्नेल प्रकार्यक बाएं संलग्न हैं।

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


 * कोप्रोडक्ट्स। अगर एफ : एबी2 → Ab हर जोड़े (X) को असाइन करता है1, एक्स2) एबेलियन समूहों के उनके समूहों का प्रत्यक्ष योग, और यदि G : 'Ab' → 'Ab'2 वह प्रकार्यक है जो हर एबेलियन समूह Y की युग्म (Y, Y) को असाइन करता है, फिर F को G के पास छोड़ दिया जाता है, फिर से प्रत्यक्ष राशियों की सार्वभौमिक संपत्ति का परिणाम है। इस संलग्न युग्म की इकाई एक्स से समावेशन मानचित्रों की परिभाषित युग्म है1 और एक्स2 सीधे योग में, और counit (X,X) के प्रत्यक्ष योग से X पर वापस जाने के लिए योगात्मक मानचित्र है (प्रत्यक्ष योग का एक तत्व (a,b) X के तत्व a+b को भेजना)।

सदृश्य उदाहरण सदिश समष्टियों के मॉड्यूलों के प्रत्यक्ष योग और मॉड्यूल (गणित) द्वारा, समूहों के मुक्त गुणनफल द्वारा और समुच्चयों के असंयुक्त संघ द्वारा दिए गए हैं।

बीजगणित

 * किसी पहचान को एक रंग (बीजगणित) से जोड़ना। इस उदाहरण पर ऊपर प्रेरणा अनुभाग में चर्चा की गई थी। एक rng R दिया गया है, एक गुणात्मक पहचान तत्व RxZ लेकर और एक Z-बिलिनियर उत्पाद को (r,0)(0,1) = (0,1)(r) के साथ परिभाषित करके जोड़ा जा सकता है ,0) = (आर,0), (आर,0)(एस,0) = (रुपये,0), (0,1)(0,1) = (0,1)। यह अंतर्निहित आरएनजी के लिए एक अंगूठी ले जाने वाले प्रकार्यक के लिए बाएं संलग्न बनाता है।
 * एक पहचान को एक अर्धसमूह से जोड़ना। इसी तरह, एक अर्धसमूह S दिया गया है, हम एक पहचान तत्व जोड़ सकते हैं और असंयुक्त संघ S लेकर एक मोनोइड प्राप्त कर सकते हैं। $$\sqcup$$ {1} और उस पर एक बाइनरी ऑपरेशन को परिभाषित करना जैसे कि यह एस पर ऑपरेशन को बढ़ाता है और 1 एक पहचान तत्व है। यह निर्माण एक प्रकार्यक देता है जो प्रकार्यक के लिए एक बायीं ओर है जो एक मोनोइड को अंतर्निहित सेमीग्रुप में ले जाता है।
 * 'वलय एक्सटेंशन।' मान लीजिए कि R और S वलय हैं, और ρ : R → S एक वलय समाकारिता है। फिर एस को एक (बाएं) आर-मॉड्यूल के रूप में देखा जा सकता है, और एस के साथ टेंसर उत्पाद एक फंक्टर एफ: आर-'मॉड' → एस-'मॉड' पैदा करता है। तब F को भुलक्कड़ फंक्टर G: S-'Mod' → R-'Mod' के साथ छोड़ दिया जाता है।
 * 'टेन्सर-होम एडजंक्शन।' यदि R एक वलय है और M एक सही R-मॉड्यूल है, तो M के साथ टेन्सर उत्पाद एक प्रकार्यक F : R-'Mod' → 'Ab' उत्पन्न करता है। प्रकार्यक जी: 'एबी' → आर-'मॉड', जी (ए) = होम द्वारा परिभाषितZ(एम, ए) प्रत्येक एबेलियन समूह ए के लिए, एफ के दाएं संलग्न है।
 * 'मोनॉयड्स और ग्रुप्स से वलय्स तक।' इंटीग्रल मोनोइड वलय कंस्ट्रक्शन मोनोइड्स से वलय्स तक एक फंक्टर देता है। यह प्रकार्यक प्रकार्यक के पास छोड़ दिया जाता है जो किसी दिए गए वलय से जुड़ा होता है, इसके अंतर्निहित गुणक मोनोइड। इसी तरह, अभिन्न समूह की अंगूठी  कंस्ट्रक्शन ग्रुप (मैथमैटिक्स) से वलय्स तक एक प्रकार्यक पैदा करता है, प्रकार्यक के बगल में छोड़ दिया जाता है जो किसी दिए गए वलय को उसके यूनिट्स के ग्रुप को असाइन करता है। कोई क्षेत्र (गणित) K से भी प्रारंभ कर सकता है और K के ऊपर मोनोइड और समूह के छल्ले प्राप्त करने के लिए वलयों की श्रेणी के बजाय K-एसोसिएटिव बीजगणित की श्रेणी पर विचार कर सकता है।
 * 'भिन्नों का क्षेत्र।' श्रेणी 'डोम' पर विचार करेंm इंजेक्‍टिव मोर्फिज्‍म के साथ इंटेग्रल डोमेन का। भुलक्कड़ प्रकार्यक फील्ड → डोमm फ्रॉम फ़ील्ड्स में एक बायाँ सन्निकट होता है—यह प्रत्येक अभिन्न डोमेन को इसके अंशों के क्षेत्र को निर्दिष्ट करता है।
 * बहुपद के छल्ले। घंटी बजाओ* एकता के साथ नुकीले कम्यूटेटिव वलयों की श्रेणी हो (जोड़े (ए, ए) जहां ए एक अंगूठी है, एक ∈ ए और आकृतिवाद विशिष्ट तत्वों को संरक्षित करते हैं)। भुलक्कड़ कारक जी: अंगूठी* → वलय का एक बायाँ जोड़ है - यह प्रत्येक वलय R को युग्म (R[x],x) प्रदान करता है जहाँ R[x] R से गुणांक के साथ बहुपद वलय है।
 * abelianization । समावेशन कारक 'जी' पर विचार करें: एबी → जीआरपी एबेलियन समूहों की श्रेणी से समूहों की श्रेणी तक। इसमें एक बायाँ जोड़ होता है जिसे एबेलियनाइज़ेशन कहा जाता है जो प्रत्येक समूह  G  को भागफल समूह  G  प्रदान करता है।अब=जी/[जी,जी].
 * 'द ग्रोथेंडिक ग्रुप'। K-सिद्धांत में, प्रस्थान का बिंदु यह देखना है कि टोपोलॉजिकल स्पेस पर वेक्टर बंडलों की श्रेणी में मॉड्यूल के प्रत्यक्ष योग के तहत एक कम्यूटेटिव मोनोइड संरचना होती है। औपचारिक रूप से प्रत्येक बंडल (या समकक्ष वर्ग) के लिए एक योगात्मक व्युत्क्रम जोड़कर, इस मोनॉइड, ग्रोथेंडिक समूह से एक एबेलियन समूह बना सकता है। वैकल्पिक रूप से कोई भी यह देख सकता है कि प्रत्येक समूह के लिए अंतर्निहित मोनोइड (उलटाओं को अनदेखा कर रहा है) के लिए प्रकार्यक एक बाएं संलग्न है। उपरोक्त तीसरे खंड की चर्चा के अनुरूप, यह एक बार-के-लिए-एक निर्माण है। अर्थात्, ऋणात्मक संख्याओं के निर्माण का अनुकरण किया जा सकता है; लेकिन एक अस्तित्व प्रमेय का दूसरा विकल्प है। एकात्मक बीजगणितीय संरचनाओं के मामले में, स्वयं के अस्तित्व को सार्वभौमिक बीजगणित, या मॉडल सिद्धांत के रूप में संदर्भित किया जा सकता है; स्वाभाविक रूप से श्रेणी सिद्धांत के लिए अनुकूलित एक प्रमाण भी है।
 * समूह प्रतिनिधित्व में 'फ्रोबेनियस पारस्परिकता': प्रेरित प्रतिनिधित्व देखें। इस उदाहरण ने लगभग आधी शताब्दी तक सामान्य सिद्धांत का पूर्वाभास किया।

सांस्थितिकी

 * बाएँ और दाएँ सन्निकट के साथ एक प्रकार्यक। चलो 'जी' टोपोलॉजिकल रिक्त स्थान से समुच्चय (गणित) के लिए प्रकार्यक हो जो प्रत्येक टोपोलॉजिकल स्पेस को इसके अंतर्निहित  समुच्चय (सांस्थितिकी को भूलकर) से जोड़ता है। G में एक बायाँ सम्मिलन F है, जो एक  समुच्चय Y पर असतत स्थान बनाता है, और एक दाहिनी ओर H Y पर तुच्छ सांस्थितिकी बनाता है।
 * सस्पेंशन और लूप स्पेस। दिए गए टोपोलॉजिकल स्पेस X और Y, स्पेस [SX, Y] होमोटॉपी कक्षाएं ेस ऑफ मैप्स के  निलंबन (सांस्थितिकी)  SX से X  से  Y  स्वाभाविक रूप से अंतरिक्ष के लिए आइसोमोर्फिक है [X, ΩY] X से लूप स्पेस ΩY के मानचित्रों के होमोटोपी वर्गों के वाई। इसलिए सस्पेंशन प्रकार्यक को होमोटॉपी श्रेणी में लूप स्पेस प्रकार्यक के पास छोड़ दिया जाता है, जो होमोटॉपी सिद्धांत का एक महत्वपूर्ण तथ्य है।
 * स्टोन–चेक संघनन। बता दें कि KHaus कॉम्पैक्ट जगह  हॉसडॉर्फ स्पेस की श्रेणी है और G : KHaus → टॉप टोपोलॉजिकल स्पेस की कैटेगरी का इंक्लूजन फंक्शनल है। तब जी के पास एक बायां जोड़ है एफ : शीर्ष → खौस, स्टोन-सीच संघनन। इस संलग्न युग्म की इकाई प्रत्येक टोपोलॉजिकल स्पेस X से इसके स्टोन-सीच कॉम्पेक्टिफिकेशन में एक सतत फ़ंक्शन (सांस्थितिकी) मानचित्र उत्पन्न करती है।
 * ढेरों की सीधी और उलटी छवियां। हर निरंतर मानचित्र f : X → Y टोपोलॉजिकल स्पेस के मध्य एक प्रकार्यक f को प्रेरित करता है∗ एक्स पर शीफ (गणित) ( समुच्चय्स, या एबेलियन ग्रुप्स, या वलय्स ...) की श्रेणी से, वाई पर  प्रत्यक्ष छवि ऑपरेटर  की इसी श्रेणी में। यह एक कारक f को भी प्रेरित करता है−1 Y पर एबेलियन समूहों के ढेरों की श्रेणी से लेकर X पर एबेलियन समूहों के ढेरों की श्रेणी तक, प्रतिलोम छवि प्रकार्यक। एफ-1 को f के सन्निकट छोड़ दिया गया है∗. यहाँ एक अधिक सूक्ष्म बिंदु यह है कि सुसंगत शीफ के लिए बायाँ सन्निकट शेवों ( समुच्चयों) के लिए उससे भिन्न होगा।
 * संयम। स्टोन द्वैत पर लेख टोपोलॉजिकल स्पेस की श्रेणी और शांत स्थान  की श्रेणी के  मध्य एक जुड़ाव का वर्णन करता है जिसे सोबरिफिकेशन के रूप में जाना जाता है। विशेष रूप से, लेख में एक अन्य संयोजन का विस्तृत विवरण भी सम्मिलित है जो व्यर्थ सांस्थितिकी में शोषण किए गए सोबर रिक्त स्थान और स्थानिक लोकेशंस के प्रसिद्ध द्वंद्व (श्रेणी सिद्धांत) के लिए रास्ता तैयार करता है।

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

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

आंशिक आदेश का मामला काफी ध्यान देने योग्य परिभाषाओं को ध्वस्त करता है, लेकिन कई विषय प्रदान कर सकता है:
 * संलग्नक द्वैत या समरूपता नहीं हो सकते हैं, लेकिन उस स्थिति में उन्नयन के लिए उम्मीदवार हैं
 * क्लोजर ऑपरेटर एडजंक्शन की उपस्थिति का संकेत दे सकते हैं, जैसा कि संबंधित मोनाड (श्रेणी सिद्धांत) (cf. Kuratowski क्लोजर स्वयंसिद्ध)
 * विलियम लॉवरे की एक बहुत ही सामान्य टिप्पणी यह है कि वाक्यविन्यास और शब्दार्थ संलग्न हैं: C को सभी तार्किक सिद्धांतों (स्वयंसिद्धीकरण) का समुच्चय मानें, और D सभी गणितीय संरचनाओं के  समुच्चय का पावर  समुच्चय है। C में एक सिद्धांत T के लिए, G(T) को उन सभी संरचनाओं का समुच्चय होने दें जो स्वयंसिद्ध T को संतुष्ट करते हैं; गणितीय संरचनाओं एस के एक  समुच्चय के लिए, एफ (एस) को एस का न्यूनतम स्वयंसिद्ध होना चाहिए। हम तब कह सकते हैं कि एस जी (टी) का एक उपसमुच्चय है अगर और केवल अगर एफ (एस) तार्किक रूप से टी का अर्थ है: शब्दार्थ कारक जी सिंटैक्स प्रकार्यक F के ठीक निकट है।
 * विभाजन (गणित) (सामान्य रूप से) गुणन को उल्टा करने का प्रयास है, लेकिन ऐसी स्थितियों में जहां यह संभव नहीं है, हम प्रायः इसके बजाय एक संलग्न निर्माण करने का प्रयास करते हैं: आदर्श भागफल वलय आदर्शों और भौतिक सशर्त द्वारा गुणन से जुड़ा होता है प्रस्तावपरक कलन में तार्किक संयोजन के निकट है।

श्रेणी सिद्धांत

 * समानताएं। यदि F : D → C श्रेणियों का एक तुल्यता है, तो हमारे पास एक व्युत्क्रम तुल्यता G : C → D है, और दो प्रकार्यक F और G एक संलग्न युग्म बनाते हैं। इस मामले में इकाई और देश प्राकृतिक समरूपताएं हैं।
 * संधियों की एक श्रृंखला। कार्य करनेवाला π0 जो किसी श्रेणी को असाइन करता है, उसके कनेक्टेड घटकों का समुच्चय प्रकार्यक डी से बाएँ-संलग्न होता है जो उस  समुच्चय पर असतत श्रेणी को  समुच्चय करता है। इसके अतिरिक्त, D ऑब्जेक्ट प्रकार्यक U के बाएँ-संलग्न है जो प्रत्येक श्रेणी को उसकी वस्तुओं के  समुच्चय को असाइन करता है, और अंत में U को A से बाएँ-संलग्न करता है जो प्रत्येक  समुच्चय को अविवेकी श्रेणी प्रदान करता है उस  समुच्चय पर।
 * घातीय वस्तु। एक कार्तीय बंद श्रेणी में -×ए द्वारा दिए गए एंडोफंक्टर सी → सी का दाहिना जोड़ है - ए। इस युग्म को प्रायः करी और अनकरींग कहा जाता है; कई विशेष मामलों में, वे निरंतर भी होते हैं और एक होमियोमोर्फिज्म बनाते हैं।

श्रेणीबद्ध तर्क

 * परिमाणीकरण। अगर $$\phi_Y$$ कुछ संपत्ति को व्यक्त करने वाला एक एकात्मक विधेय है, तो एक पर्याप्त रूप से मजबूत समुच्चय सिद्धांत  समुच्चय के अस्तित्व को साबित कर सकता है $$Y=\{y\mid\phi_Y(y)\}$$ संपत्ति को पूरा करने वाली शर्तों की। एक उचित उपसमुच्चय $$T\subset Y$$ और संबंधित इंजेक्शन $$T$$ में $$Y$$ एक विधेय द्वारा विशेषता है $$\phi_T(y)=\phi_Y(y)\land\varphi(y)$$ सख्ती से अधिक प्रतिबंधात्मक संपत्ति व्यक्त करना।
 * विधेय तर्क में परिमाणक (तर्क)तर्क) की भूमिका प्रस्ताव बनाने में है और संभवतः अधिक चर के साथ सूत्रों को बंद करके परिष्कृत विधेय को व्यक्त करने में भी है। उदाहरण के लिए, एक विधेय पर विचार करें $$\psi_f$$ प्रकार के दो खुले चर के साथ $$X$$ और $$Y$$. बंद करने के लिए क्वांटिफायर का उपयोग करना $$X$$, हम समुच्चय बना सकते हैं
 * $$\{y\in Y\mid \exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}$$
 * सभी तत्वों का $$y$$ का $$Y$$ जिसके लिए एक है $$x$$ जिसके लिए यह है $$\psi_f$$-संबंधित, और जो स्वयं संपत्ति की विशेषता है $$\phi_{S}$$. चौराहे की तरह सैद्धांतिक संचालन समुच्चय करें $$\cap$$ दो  समुच्चयों का संयोजन सीधे संयोजन से मेल खाता है $$\land$$ विधेय का। श्रेणीबद्ध तर्क में, टोपोस सिद्धांत का एक उपक्षेत्र, क्वांटिफ़ायर की पहचान पुलबैक प्रकार्यक के निकटवर्ती के साथ की जाती है। इस तरह की प्राप्ति को  समुच्चय थ्योरी का उपयोग करते हुए प्रस्तावपरक तर्क की चर्चा के अनुरूप देखा जा सकता है, लेकिन सामान्य परिभाषा तर्कों की एक समृद्ध श्रेणी के लिए बनाती है।


 * तो एक वस्तु पर विचार करें $$Y$$ पुलबैक वाली श्रेणी में। कोई रूपवाद $$f:X\to Y$$ आप एक पदाधिकारी का परिचय देंगे
 * $$f^{*} : \text{Sub}(Y) \longrightarrow \text{Sub}(X)$$ : उस श्रेणी पर जो सबऑब्जेक्ट का प्रीऑर्डर है। यह सबऑब्जेक्ट्स को मैप करता है $$T$$ का $$Y$$ (तकनीकी रूप से: मोनोमोर्फिज्म क्लास ऑफ $$T\to Y$$) पुलबैक के लिए $$X\times_Y T$$. यदि इस प्रकार्यक के पास बाएँ या दाएँ सन्निकटन है, तो उन्हें कहा जाता है $$\exists_f$$ और $$\forall_f$$, क्रमश। वे दोनों से मानचित्र करते हैं $$\text{Sub}(X)$$ वापस $$\text{Sub}(Y)$$. बहुत मोटे तौर पर, एक डोमेन दिया गया $$S\subset X$$ के माध्यम से व्यक्त संबंध को मापने के लिए $$f$$ ओवर, प्रकार्यक/क्वांटिफायर बंद हो जाता है $$X$$ में $$X\times_Y T$$ और इसके द्वारा निर्दिष्ट सब समुच्चय लौटाता है $$Y$$.


 * उदाहरण: में $$\operatorname{Set}$$, समुच्चय और फ़ंक्शंस की श्रेणी, कैनोनिकल सबोबजेक्ट्स सब समुच्चय (या बल्कि उनके कैनोनिकल इंजेक्शन) हैं। पुलबैक $$f^{*}T=X\times_Y T$$ एक उपसमुच्चय का एक इंजेक्शन $$T$$ में $$Y$$ साथ में $$f$$ सबसे बड़े  समुच्चय के रूप में जाना जाता है जिसके बारे में सब कुछ जानता है $$f$$ और का इंजेक्शन $$T$$ में $$Y$$. इसलिए यह उलटी छवि के साथ (आक्षेप में) निकलता है $$f^{-1}[T]\subseteq X$$.
 * के लिए $$S \subseteq X$$, आइए हम बाएं संलग्न को समझें, जिसे परिभाषित किया गया है
 * $${\operatorname{Hom}}(\exists_f S,T)

\cong {\operatorname{Hom}}(S,f^{*}T),$$
 * जो यहाँ सिर्फ मतलब है
 * $$\exists_f S\subseteq T

\leftrightarrow S\subseteq f^{-1}[T]$$.


 * विचार करना $$ f[S] \subseteq T $$. हम देखते हैं $$S\subseteq f^{-1}[f[S]]\subseteq f^{-1}[T]$$. इसके विपरीत, यदि एक के लिए $$x\in S$$ हमारे पास भी है $$x\in f^{-1}[T]$$, तो स्पष्ट रूप से $$ f(x)\in T $$. इसलिए $$ S \subseteq f^{-1}[T] $$ तात्पर्य $$ f[S] \subseteq T $$. हम यह निष्कर्ष निकालते हैं कि उलटा छवि प्रकार्यक के बगल में बायाँ है $$f^{*}$$ प्रत्यक्ष छवि द्वारा दिया गया है। यहाँ इस परिणाम का एक लक्षण वर्णन है, जो तार्किक व्याख्या से अधिक मेल खाता है: की छवि $$S$$ अंतर्गत $$\exists_f $$ का पूरा समुच्चय है $$y$$है, ऐसा है $$ f^{-1} [\{y\}] \cap S$$ खाली नहीं है। यह कार्य करता है क्योंकि यह ठीक उन्हीं की उपेक्षा करता है $$y\in Y$$ जो के पूरक हैं $$f[S]$$. इसलिए

\exists_f S = \{ y \in Y \mid \exists (x \in f^{-1}[\{y\}]).\, x \in S \; \} = f[S]. $$
 * इसे हमारी प्रेरणा के अनुरूप रखें $$\{y\in Y\mid\exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}$$.
 * उलटा छवि प्रकार्यक का दाहिना जोड़ दिया गया है (यहाँ गणना किए बिना)।

\forall_f S = \{ y \in Y \mid \forall (x \in f^{-1} [\{y\}]).\, x \in S \; \}. $$
 * सब समुच्चय $$\forall_f S$$ का $$Y$$ के पूर्ण समुच्चय के रूप में जाना जाता है $$y$$के गुण के साथ है जिसकी उलटी छवि है $$\{y\}$$ इसके संबंध में $$f$$ में पूर्णतः समाहित है $$S$$. ध्यान दें कि कैसे  समुच्चय का निर्धारण करने वाला विधेय उपरोक्त के समान है, सिवाय उसके $$\exists$$ द्वारा प्रतिस्थापित किया जाता है $$\forall$$.


 * सत्ता स्थापित भी देखें।

संभावना
संभाव्यता में जुड़वाँ तथ्य को एक संयोजन के रूप में समझा जा सकता है: यह उम्मीद affine परिवर्तन के साथ प्रारंभ होती है, और यह उम्मीद कुछ अर्थों में वास्तविक संख्याओं पर वितरण के लिए वास्तविक-मूल्य सन्निकटन खोजने की समस्या का सबसे अच्छा समाधान है।

के आधार पर श्रेणी निर्धारित करें $$\R$$, वस्तुओं के वास्तविक संख्या होने के साथ, और आकारिकी एक बिंदु पर मूल्यांकन किए गए कार्यों को प्रभावित करती है। यानी किसी भी एफ़िन फंक्शन के लिए $$f(x) = ax + b$$ और कोई वास्तविक संख्या $$r$$, आकारिकी को परिभाषित करें $$(r, f): r \to f(r)$$.

के आधार पर श्रेणी निर्धारित करें $$M(\R)$$, प्रायिकता वितरण का समुच्चय $$\R$$ सीमित अपेक्षा के साथ। आकारिकी को परिभाषित कीजिए $$M(\R)$$ एक वितरण पर मूल्यांकन किए गए affine कार्यों के रूप में। यानी किसी भी एफ़िन फंक्शन के लिए $$f(x) = ax + b$$ और कोई भी $$\mu\in M(\R)$$, आकारिकी को परिभाषित करें $$(\mu, f): r \to \mu\circ f^{-1}$$.

फिरडायराक डेल्टा माप उपाय एक प्रकार्यक को परिभाषित करता है: $$\delta: x\mapsto \delta_x$$, और उम्मीद एक और प्रकार्यक को परिभाषित करती है $$\mathbb E: \mu \mapsto \mathbb E[\mu]$$, और वे संलग्न हैं: $$\mathbb E \dashv \delta$$. (कुछ विचलित होकर, $$\mathbb E$$ हालांकि, बाएं संलग्न है $$\mathbb E$$ भुलक्कड़ है और $$\delta$$ आज़ाद है ।)

पूर्ण रूप से संयोजन
इसलिए हर संयोजन से जुड़े कई कारक और प्राकृतिक परिवर्तन होते हैं, और शेष को निर्धारित करने के लिए केवल एक छोटा सा हिस्सा पर्याप्त होता है।

श्रेणियों सी और डी के मध्य एक संयोजन के होते हैं
 * एक फंक्‍टर F : D → C को 'लेफ्ट संलग्न' कहा जाता है
 * एक प्रकार्यक G : C → D को 'दाहिना सन्निकट' कहा जाता है
 * एक प्राकृतिक समरूपता Φ : homC(F–,–) → होमD(-, जी-)
 * एक प्राकृतिक परिवर्तन ε : FG → 1C कॉउंट कहा जाता है
 * एक प्राकृतिक परिवर्तन η : 1D → GF को 'यूनिट' कहा जाता है

एक समतुल्य सूत्रीकरण, जहाँ X, C की किसी वस्तु को दर्शाता है और Y, D की किसी वस्तु को दर्शाता है, इस प्रकार है:


 * प्रत्येक सी-मॉर्फिज्म एफ : एफवाई → एक्स के लिए, एक अद्वितीय डी-मॉर्फिज्म Φ हैY, X(f) = g : Y → GX ऐसा है कि नीचे दिए गए चित्र कम्यूट करते हैं, और प्रत्येक D-मोर्फिज्म g : Y → GX के लिए, एक अद्वितीय C-मॉर्फिज्म Φ है-1Y, X(जी) = एफ: एफवाई → एक्स सी में ऐसा है कि नीचे दिए गए आरेख कम्यूट:

इस दावे से, कोई इसे पुनर्प्राप्त कर सकता है:
 * परिवर्तन ε, η, और Φ समीकरणों से संबंधित हैं
 * $$\begin{align}

f = \Phi_{Y,X}^{-1}(g) &= \varepsilon_X\circ F(g) & \in & \, \, \mathrm{hom}_C(F(Y),X)\\ g = \Phi_{Y,X}(f) &= G(f)\circ \eta_Y & \in & \, \, \mathrm{hom}_D(Y,G(X))\\ \Phi_{GX,X}^{-1}(1_{GX}) &= \varepsilon_X & \in & \, \, \mathrm{hom}_C(FG(X),X)\\ \Phi_{Y,FY}(1_{FY}) &= \eta_Y & \in & \, \, \mathrm{hom}_D(Y,GF(Y))\\ \end{align} $$
 * रूपांतरण ε, η इकाई-इकाई समीकरणों को संतुष्ट करते हैं
 * $$\begin{align}

1_{FY} &= \varepsilon_{FY} \circ F(\eta_Y)\\ 1_{GX} &= G(\varepsilon_X) \circ \eta_{GX} \end{align}$$
 * प्रत्येक युग्म (GX, εX) C में F से X तक एक सार्वभौमिक आकारिकी है
 * प्रत्येक युग्म (FY, ηY) डी में वाई से जी तक एक सार्वभौमिक आकारिकी है

विशेष रूप से, उपरोक्त समीकरण किसी को Φ, ε, और η को तीनों में से किसी एक के संदर्भ में परिभाषित करने की अनुमति देते हैं। हालांकि, संलग्न कारक एफ और जी अकेले सामान्य रूप से संयोजन को निर्धारित करने के लिए पर्याप्त नहीं हैं। इन स्थितियों की समानता नीचे प्रदर्शित की गई है।

सार्वभौमिक रूपात्मक होम- समुच्चय संयोजन
को प्रेरित करते हैं

एक सही संलग्न प्रकार्यक जी दिया गया: सी → डी; प्रारंभिक आकारिता के अर्थ में, निम्न चरणों का पालन करके प्रेरित होम- समुच्चय संयोजन का निर्माण किया जा सकता है।


 * एक फंक्टर एफ : डी → सी और एक प्राकृतिक परिवर्तन η का निर्माण करें।
 * डी में प्रत्येक वस्तु वाई के लिए, एक प्रारंभिक आकारिकी चुनें (एफ (वाई), ηY) वाई से जी तक, ताकि ηY : वाई → जी (एफ (वाई))। हमारे पास वस्तुओं पर F का मानचित्र और आकारिकी η का वर्ग है।
 * प्रत्येक f : Y के लिए0 → और1, के रूप में (एफ (वाई0), दY 0 ) एक प्रारंभिक आकारिकी है, तो η का गुणनखंड करेंY 1 o एफ η के साथY 0 और F(f) प्राप्त करें : F(Y उप>0) → एफ(वाई1). यह आकारिता पर F का मानचित्र है।
 * उस कारक के आने वाले आरेख का तात्पर्य प्राकृतिक परिवर्तनों के आने वाले आरेख से है, इसलिए η : 1D → जी o एफ एक प्राकृतिक परिवर्तन है।
 * उस गुणनखंड की विशिष्टता और यह कि G एक प्रकार्यक है, का तात्पर्य है कि आकारिकी पर F का मानचित्र रचनाओं और पहचानों को संरक्षित करता है।
 * एक प्राकृतिक समरूपता का निर्माण करें Φ : homC(एफ-,-) → होमD(-,जी-)।
 * सी में प्रत्येक वस्तु एक्स के लिए, डी में प्रत्येक वस्तु वाई, (एफ (वाई), η के रूप मेंY) एक प्रारंभिक रूपवाद है, फिर ΦY, X एक आपत्ति है, जहां ΦY, X(एफ: एफ (वाई) → एक्स) = जी (एफ) o ηY.
 * η एक प्राकृतिक परिवर्तन है, जी एक प्रकार्यक है, फिर किसी वस्तु एक्स के लिए0, एक्स1 C में, कोई भी वस्तु Y0, और1 डी में, कोई एक्स: एक्स0 → एक्स1, कोई वाई: वाई1 → और0, हमारे पास Φ हैY 1, एक्स1 (एक्स o f o एफ (वाई)) = जी (एक्स) o जी (एफ) o जी (एफ (वाई)) o ηY 1 = जी (एक्स) o जी (एफ) o ηY 0 o वाई = जी (एक्स) o ΦY 0, एक्स0(एफ) o y, और फिर Φ दोनों तर्कों में स्वाभाविक है।

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

देश-इकाई अधिष्ठापन होम- समुच्चय संयोजन
को प्रेरित करता है

दिए गए कारक F : D → C, G : C → D, और एक इकाई-इकाई संयोजन (ε, η) : F $$\dashv$$ जी, हम प्राकृतिक परिवर्तन Φ: होम खोजने के द्वारा एक होम- समुच्चय संयोजन का निर्माण कर सकते हैंC(एफ-,-) → होमD(-, जी-) निम्नलिखित चरणों में:


 * प्रत्येक f : FY → X और प्रत्येक g : Y → GX के लिए, परिभाषित करें
 * $$\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\

\Psi_{Y,X}(g) = \varepsilon_X\circ F(g)\end{align}$$
 * परिवर्तन Φ और Ψ प्राकृतिक हैं क्योंकि η और ε प्राकृतिक हैं।


 * इस क्रम में, कि F एक प्रकार्यक है, कि ε प्राकृतिक है, और काउंटर-यूनिट समीकरण 1FY = ईFY o एफ (एनY), हमने प्राप्त
 * $$\begin{align}

\Psi\Phi f &= \varepsilon_X\circ FG(f)\circ F(\eta_Y) \\ &= f\circ \varepsilon_{FY}\circ F(\eta_Y) \\ &= f\circ 1_{FY} = f\end{align}$$
 * इसलिए ΨΦ पहचान परिवर्तन है।


 * Dually, उस G का उपयोग करना एक प्रकार्यक है, कि η प्राकृतिक है, और काउंटर-यूनिट समीकरण 1GX = जी (ईX) o ηGX, हमने प्राप्त
 * $$\begin{align}

\Phi\Psi g &= G(\varepsilon_X)\circ GF(g)\circ\eta_Y \\ &= G(\varepsilon_X)\circ\eta_{GX}\circ g \\ &= 1_{GX}\circ g = g\end{align}$$
 * इसलिए ΦΨ पहचान परिवर्तन है। इस प्रकार Φ व्युत्क्रम Φ के साथ एक प्राकृतिक समरूपता है −1 = पीएस.

होम- समुच्चय एडजंक्शन उपरोक्त सभी
को प्रेरित करता है

दिए गए फ़ैनक्टर्स F : D → C, G : C → D, और एक होम- समुच्चय एडजंक्शन Φ : होमC(एफ-,-) → होमD(-, जी-), कोई एक इकाई-इकाई संयोजन का निर्माण कर सकता है


 * $$(\varepsilon,\eta):F\dashv G$$,

जो निम्नलिखित चरणों में आरंभिक और अंतिम आकारिकी के वर्गों को परिभाषित करता है:


 * होने देना$$\varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})\in\mathrm{hom}_C(FGX,X)$$सी में प्रत्येक एक्स के लिए, जहां$$1_{GX}\in\mathrm{hom}_D(GX,GX)$$पहचान रूपवाद है।
 * होने देना$$\eta_Y=\Phi_{Y,FY}(1_{FY})\in\mathrm{hom}_D(Y,GFY)$$डी में प्रत्येक वाई के लिए, जहां$$1_{FY}\in\mathrm{hom}_C(FY,FY)$$पहचान रूपवाद है।
 * Φ की विशिष्टता और स्वाभाविकता का अर्थ है कि प्रत्येक (GX, εX) C में F से X तक एक टर्मिनल आकारिकी है, और प्रत्येक (FY, ηY) डी में वाई से जी तक प्रारंभिक आकारिकी है।
 * Φ की स्वाभाविकता का तात्पर्य ε और η की स्वाभाविकता और दो सूत्रों से है
 * $$\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\

\Phi_{Y,X}^{-1}(g) = \varepsilon_X\circ F(g)\end{align}$$
 * प्रत्येक f के लिए: FY → X और g: Y → GX (जो पूर्णतया से Φ निर्धारित करता है)।


 * X और η के लिए FY को प्रतिस्थापित करनाY = एफY, FY(1FY) दूसरे सूत्र में जी के लिए पहला काउंटर-यूनिट समीकरण देता है
 * $$1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)$$,
 * और Y और ε के लिए GX को प्रतिस्थापित करनाX = एफ-1GX, X(1GX) पहले सूत्र में f के लिए दूसरा काउंट-यूनिट समीकरण देता है
 * $$1_{GX} = G(\varepsilon_X)\circ\eta_{GX}$$.

अस्तित्व
प्रत्येक प्रकार्यक G : C → D बाएँ संलग्न को स्वीकार नहीं करता है। यदि सी एक पूर्ण श्रेणी है, तो बाएं संलग्न वाले प्रकार्यक को पीटर जे। फ़्रीड के 'एडज्वाइंट प्रकार्यक प्रमेय' द्वारा वर्णित किया जा सकता है: जी के पास एक बाएं संलग्न है अगर और केवल अगर यह सीमा (श्रेणी सिद्धांत) है # सीमा का संरक्षण और एक निश्चित लघुता की स्थिति संतुष्ट होती है: D की प्रत्येक वस्तु Y के लिए आकारिकी का एक वर्ग उपस्थित होता है


 * एफi : वाई → जी (एक्सi)

जहां सूचकांक मैं एक समुच्चय से आता हूं $I$, एक वर्ग ( समुच्चय सिद्धांत) नहीं, जैसे कि हर रूपवाद


 * एच : वाई → जी (एक्स)

रूप में लिखा जा सकता है


 * एच = जी (टी) ∘ एफi

कुछ के लिए मैं में $I$ और कुछ आकृतिवाद


 * टी : एक्सi → एक्स ∈ सी।

एक समान कथन उन प्रकार्यक को सही संलग्न के साथ दर्शाता है।

एक महत्वपूर्ण विशेष मामला स्थानीय रूप से प्रस्तुत करने योग्य श्रेणी का है। अगर $$F : C \to D$$ तब स्थानीय रूप से प्रस्तुत करने योग्य श्रेणियों के मध्य एक प्रकार्यक है


 * F का दाहिना जोड़ है यदि और केवल यदि F छोटे कोलिमिट को संरक्षित करता है
 * F का एक बायाँ जोड़ है यदि और केवल यदि F छोटी सीमाओं को बनाए रखता है और एक सुलभ प्रकार्यक है

विशिष्टता
यदि फलक F : D → C के दो दाएँ सन्निकट G और G' हैं, तो G और G' प्राकृतिक परिवर्तन हैं। बाएं संलग्न के लिए भी यही सच है।

इसके विपरीत, यदि F को G के निकट छोड़ दिया जाता है, और G स्वाभाविक रूप से G' के समतुल्य है, तो F को भी G' के समीप छोड़ दिया जाता है। अधिक आम तौर पर, अगर 〈F, G, ε, η〉 एक संयोजन है (Counit-unit (ε,η) के साथ) और
 * σ : एफ → एफ'
 * τ : जी → जी '

प्राकृतिक समरूपताएं हैं तो 〈F′, G′, ε′, η′〉 एक संयोजन है जहां
 * $$\begin{align}

\eta' &= (\tau\ast\sigma)\circ\eta \\ \varepsilon' &= \varepsilon\circ(\sigma^{-1}\ast\tau^{-1}). \end{align}$$ यहाँ $$\circ$$ प्राकृतिक परिवर्तनों की लंबवत संरचना को दर्शाता है, और $$\ast$$ क्षैतिज रचना को दर्शाता है।

रचना
संयोजनों की रचना प्राकृतिक रूप से की जा सकती है। विशेष रूप से, यदि 〈F, G, ε, η〉 C और D के मध्य एक संयोजन है और 〈F′, G′, ε′, η′〉, D और E के  मध्य एक संयोजन है तो प्रकार्यक
 * $$F \circ F' : E \rightarrow C$$

से सटा हुआ है
 * $$G' \circ G : C \to E.$$

अधिक सटीक रूप से, F F' और G' G के मध्य संयोजन द्वारा क्रमशः दी गई इकाई और देश के  मध्य एक संयोजन है:
 * $$\begin{align}

&1_{\mathcal E} \xrightarrow{\eta'} G' F' \xrightarrow{G' \eta F'} G' G F F' \\ &F F' G' G \xrightarrow{F \varepsilon' G} F G \xrightarrow{\varepsilon} 1_{\mathcal C}. \end{align}$$ इस नए संयोजन को दिए गए दो संयोजनों का संयोजन कहा जाता है।

चूंकि एक श्रेणी 'सी' और स्वयं के मध्य एक पहचान संयोजन को परिभाषित करने का एक स्वाभाविक तरीका भी है, फिर एक ऐसी श्रेणी बनाई जा सकती है, जिसकी वस्तुएं सभी छोटी श्रेणी हैं और जिनकी आकृतियाँ संलग्नक हैं।

सीमा संरक्षण
संलग्नकों की सबसे महत्वपूर्ण संपत्ति उनकी निरंतरता है: प्रत्येक प्रकार्यक जिसमें बाएं संलग्न है (और इसलिए दाएं संलग्न है) निरंतर है (यानी श्रेणी सैद्धांतिक अर्थ में सीमा (श्रेणी सिद्धांत) के साथ संचार); प्रत्येक फंक्‍टर जिसका एक दाहिना जोड़ है (और इसलिए एक बायां संलग्न है) सह-सतत है (यानी सीमा (श्रेणी सिद्धांत) के साथ यात्रा करता है)।

चूंकि गणित में कई सामान्य रचनाएं लिमिट या कोलिमिट हैं, इसलिए यह जानकारी का खजाना प्रदान करती है। उदाहरण के लिए:
 * वस्तुओं के एक उत्पाद (श्रेणी सिद्धांत) के लिए एक सही संलग्न प्रकार्यक लगाने से छवियों का उत्पाद प्राप्त होता है;
 * वस्तुओं के एक सह-उत्पाद के लिए एक बाएं संलग्न प्रकार्यक को अनुप्रयुक्त करने से छवियों का प्रतिफल प्राप्त होता है;
 * दो एबेलियन श्रेणियों के मध्य हर दाहिनी ओर का प्रकार्यक बाएँ सटीक प्रकार्यक है;
 * दो एबेलियन श्रेणियों के मध्य प्रत्येक बाएं संलग्न प्रकार्यक सही सटीक प्रकार्यक है।

एडिटिविटी
यदि C और D पूर्ववर्ती श्रेणियां हैं और F : D → C दाएँ संलग्न G : C → D के साथ एक योगात्मक प्रकार्यक है, तो G भी एक योगात्मक प्रकार्यक है और होम- समुच्चय बायजेक्शन


 * $$\Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)$$

वास्तव में, एबेलियन समूहों के समरूपता हैं। वास्तव में, यदि G बाएं सटे F के साथ योगात्मक है, तो F भी योगात्मक है।

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

सार्वभौमिक निर्माण
जैसा कि पहले कहा गया है, श्रेणियों सी और डी के मध्य एक संयोजन सार्वभौमिक आकारिता के एक वर्ग को जन्म देता है, सी में प्रत्येक वस्तु के लिए एक और डी में प्रत्येक वस्तु के लिए एक। D की प्रत्येक वस्तु से, तो G का एक बायाँ सन्निकट है।

हालांकि, सार्वभौमिक निर्माण संलग्न प्रकार्यक की तुलना में अधिक सामान्य हैं: एक सार्वभौमिक निर्माण एक अनुकूलन समस्या की तरह है; यह एक संलग्न युग्म को जन्म देता है अगर और केवल अगर इस समस्या का समाधान डी के प्रत्येक वस्तु (समकक्ष रूप से, सी के प्रत्येक वस्तु) के लिए है।

श्रेणियों की समानता
यदि एक प्रकार्यक F : D → C श्रेणियों के समकक्ष का एक आधा है तो यह श्रेणियों के एक संलग्न समकक्ष में बाएं संलग्न है, यानी एक संयोजन जिसकी इकाई और कूनिट समरूपताएं हैं।

प्रत्येक संयोजन 〈F, G, ε, η〉 कुछ उपश्रेणियों की समानता का विस्तार करता है। सी को परिभाषित करें1 C की पूर्ण उपश्रेणी के रूप में C की वे वस्तुएँ X सम्मिलित हैं जिनके लिए εX एक समरूपता है, और डी परिभाषित करें1 डी की पूर्ण उपश्रेणी के रूप में डी की उन वस्तुओं वाई से मिलकर जिसके लिए ηY एक समरूपता है। तब F और G को D तक सीमित किया जा सकता है1 और सी1 और इन उपश्रेणियों की व्युत्क्रम समतुल्यता प्राप्त करें।

एक मायने में, फिर, संलग्न सामान्यीकृत व्युत्क्रम हैं। हालांकि ध्यान दें कि एफ का एक सही व्युत्क्रम (यानी एक प्रकार्यक जी ऐसा है कि एफजी स्वाभाविक रूप से 1 के लिए आइसोमोर्फिक हैD) F का दायां (या बायां) जोड़ होना जरूरी नहीं है। संलग्न दो-तरफा व्युत्क्रमों का सामान्यीकरण करते हैं।

मोनाड
हर संयोजन 〈F, G, ε, η〉 श्रेणी डी में एक संबंधित मोनाड (श्रेणी सिद्धांत) 〈T, η, μ〉 को जन्म देता है।
 * $$T : \mathcal{D} \to \mathcal{D}$$

टी = जीएफ द्वारा दिया गया है। मोनाड की इकाई
 * $$\eta : 1_{\mathcal{D}} \to T$$

केवल इकाई η संयोजन और गुणन परिवर्तन की है
 * $$\mu : T^2 \to T\,$$

μ = GεF द्वारा दिया जाता है। वास्तव में, ट्रिपल 〈FG, ε, FηG〉 C में एक कॉमोनैड को परिभाषित करता है।

प्रत्येक सन्यासी कुछ संयोजन से उत्पन्न होता है - वास्तव में, आमतौर पर कई संयोजनों से - उपरोक्त फैशन में। इलेनबर्ग-मूर बीजगणित की श्रेणी और क्लेस्ली श्रेणी कहे जाने वाले दो निर्माण, एक संयोजन के निर्माण की समस्या के दो अतिवादी समाधान हैं जो किसी दिए गए सन्यासी को जन्म देते हैं।

बाहरी संबंध

 * – seven short lectures on adjunctions by Eugenia Cheng of The Catsters
 * WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, आकारिता, categories, प्रकार्यकs, natural transformations, universal properties.