श्रेणियाँ, फ़ंक्टर और प्राकृतिक रूपांतरण

श्रेणियाँ (Categories), फ़ंक्टर (functors) और प्राकृतिक रूपांतरण (natural transformations) श्रेणी सिद्धांत (category theory) की तीन मूलभूत अवधारणाएँ हैं, जो संरचनाओं, संरचनाओं के बीच के मानचित्रों और ऐसे मानचित्रों के बीच के मानचित्रों को औपचारिक रूप देती हैं।

Definition

एक श्रेणी में वस्तुएँ (objects) और मॉर्फिज़्म होते हैं जो पहचान के साथ साहचर्य रूप से संयोजित होते हैं; एक फ़ंक्टर एक श्रेणी की वस्तुओं और मॉर्फिज़्म को दूसरी श्रेणी में मैप करता है जो संयोजन और पहचान को संरक्षित करता है; एक प्राकृतिक रूपांतरण प्रत्येक वस्तु को एक मॉर्फिज़्म प्रदान करता है ताकि यह दो फ़ंक्टरों की क्रियाओं के साथ क्रमविनिमेय हो।

Scope

यह विषय वस्तुओं, मॉर्फिज़्म (morphisms), संयोजन (composition) और पहचान (identities) द्वारा एक श्रेणी की परिभाषा, श्रेणियों के बीच एक संरचना-संरक्षण मानचित्र के रूप में एक फ़ंक्टर की अवधारणा, फ़ंक्टरों के मॉर्फिज़्म के रूप में प्राकृतिक रूपांतरण, और समरूपता (isomorphism), श्रेणियों की तुल्यता (equivalence of categories) और योनेडा एम्बेडिंग (Yoneda embedding) की परिणामी अवधारणाओं को शामिल करता है।

Core questions

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

Key theories

श्रेणी और फ़ंक्टर अभिगृहीत

मॉर्फिज़्म का संयोजन साहचर्य और एकात्मक होता है, और फ़ंक्टर इस संयोजनात्मक संरचना को संरक्षित करते हैं, इसलिए श्रेणीबद्ध निर्माण उन मानचित्रों के तहत स्थिर होते हैं जो श्रेणियों को संबंधित करते हैं।

प्राकृतिक रूपांतरण

एक प्राकृतिक रूपांतरण मॉर्फिज़्म के एक परिवार द्वारा दो फ़ंक्टरों को संबंधित करता है जो स्रोत श्रेणी में सभी मानचित्रों के साथ संगत होते हैं, जो एक समान रूप से और मनमानी पसंद के बिना परिभाषित निर्माण के अनौपचारिक विचार को कैप्चर करता है।

योनेडा लेम्मा और एम्बेडिंग

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

Clinical relevance

ये तीनों अवधारणाएँ वह शब्दावली हैं जिसमें श्रेणीबद्ध गणित लिखा जाता है: फ़ंक्टर मौलिक समूह (fundamental group) या एक बहुपद वलय (polynomial ring) बनाने जैसे निर्माणों को औपचारिक रूप देते हैं, स्वाभाविकता (naturality) विहित निर्माणों (canonical constructions) की पहचान करती है, और योनेडा परिप्रेक्ष्य (Yoneda perspective) संरचनात्मक दृष्टिकोण को आधार प्रदान करता है जो बीजगणित (algebra), टोपोलॉजी (topology) और प्रोग्रामिंग भाषाओं के शब्दार्थ (semantics) में व्याप्त है।

History

आइलेनबर्ग (Eilenberg) और मैक लेन (Mac Lane) ने 1945 में श्रेणियों, फ़ंक्टरों और प्राकृतिक रूपांतरणों को प्रस्तुत किया, जिसमें प्राकृतिक रूपांतरण प्रेरक अवधारणा के रूप में थे जिसके लिए दूसरों को सटीक रूप से परिभाषित करने की आवश्यकता थी। नोबुओ योनेडा (Nobuo Yoneda) को श्रेय दिया गया योनेडा लेम्मा (Yoneda lemma) जल्द ही विषय के प्रतिनिधित्व योग्य दृष्टिकोण (representability viewpoint) को व्यक्त करने वाला आधारशिला बन गया।

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

प्राकृतिक रूपांतरणों का क्या महत्व है?

वे सटीक बनाते हैं कि कब एक निर्माण विहित होता है, प्रत्येक वस्तु के लिए मनमानी पसंद के बिना उसी तरह परिभाषित होता है। क्लासिक उदाहरण एक सदिश समष्टि (vector space) से उसके दोहरे द्वैत (double dual) तक का प्राकृतिक मानचित्र है, जो समान रूप से मौजूद होता है, एकल द्वैत (single dual) के मानचित्र के विपरीत, जो आधार के चुनाव पर निर्भर करता है।

श्रेणियों की तुल्यता क्या है?

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