समुच्चय की श्रेणी

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

कई अन्य श्रेणियां (जैसे समूहों की श्रेणी, तीर के रूप में समूह समरूपता के साथ) सेट की श्रेणी की वस्तुओं में संरचना जोड़ती हैं और/या तीरों को किसी विशेष प्रकार के कार्यों तक सीमित करती हैं।

सेट की श्रेणी के गुण
किसी श्रेणी के स्वयंसिद्ध सेट से संतुष्ट हैं क्योंकि कार्यों की संरचना साहचर्य गुण है, और क्योंकि प्रत्येक सेट  X  में एक पहचान फ़ंक्शन आईडी हैX : X → X जो फलन रचना के लिए पहचान तत्व के रूप में कार्य करता है।

'सेट' में अधिरूपता विशेषण मानचित्र हैं, एकरूपता इंजेक्शन मानचित्र हैं, और आइसोमोर्फिज्म (श्रेणी सिद्धांत) विशेषण मानचित्र हैं।

खाली सेट 'सेट' में प्रारंभिक वस्तु के रूप में कार्य करता है जिसमें खाली कार्य आकारिकी के रूप में होते हैं। प्रत्येक सिंगलटन (गणित) एक टर्मिनल वस्तु है, जिसमें स्रोत सेट के सभी तत्वों को मैपिंग के रूप में एकल लक्ष्य तत्व के रूप में कार्य करता है। इस प्रकार 'सेट' में कोई शून्य वस्तु नहीं है।

श्रेणी 'सेट' पूर्ण श्रेणी है | पूर्ण और सह-पूर्ण। इस श्रेणी में उत्पाद (श्रेणी सिद्धांत) सेट के कार्टेशियन उत्पाद द्वारा दिया जाता है। सह-उत्पाद (श्रेणी सिद्धांत) असम्बद्ध संघ द्वारा दिया गया है: दिए गए समुच्चय Ai जहां मैं कुछ इंडेक्स सेट I पर रेंज करता हूं, हम ए के संघ के रूप में प्रतिउत्पाद का निर्माण करते हैंi×{i} (i के साथ कार्टेशियन उत्पाद यह सुनिश्चित करने के लिए कार्य करता है कि सभी घटक अलग रहें)।

'सेट' एक ठोस श्रेणी का प्रोटोटाइप है; अन्य श्रेणियां ठोस हैं यदि वे किसी सुपरिभाषित तरीके से 'सेट' पर निर्मित हों।

प्रत्येक दो-तत्व सेट 'सेट' में सबऑब्जेक्ट क्लासिफायरियर के रूप में कार्य करता है। एक सेट ए का पावर ऑब्जेक्ट अपने सत्ता स्थापित द्वारा दिया जाता है, और सेट ए और बी की घातीय वस्तु ए से बी के सभी कार्यों के सेट द्वारा दी जाती है। 'सेट' इस प्रकार एक topos है (और विशेष रूप से कार्टेशियन बंद श्रेणी और नियमित_श्रेणी#सटीक_%28प्रभावी%29_श्रेणियां)।

'सेट' एबेलियन श्रेणी, योज्य श्रेणी और न ही पूर्ववर्ती श्रेणी है।

प्रत्येक गैर-खाली सेट 'सेट' में एक इंजेक्शन वस्तु है। प्रत्येक सेट 'सेट' में एक प्रक्षेपी मॉड्यूल है (पसंद के स्वयंसिद्ध को मानते हुए)।

'समुच्चय' में सुगम्य श्रेणी परिमित समुच्चय हैं। चूँकि प्रत्येक समुच्चय अपने परिमित उपसमुच्चयों की एक सीधी सीमा है, श्रेणी 'समुच्चय' एक सुलभ श्रेणी है।

यदि C एक स्वेच्छ श्रेणी है, तो C से 'सेट' तक का प्रतिपरिवर्ती फलनकार अक्सर अध्ययन का एक महत्वपूर्ण उद्देश्य होता है। यदि ए सी का एक वस्तु है, तो सी से 'सेट' तक फ़ैक्टर जो एक्स को होम भेजता हैC(एक्स, ए) (एक्स से ए तक सी में morphisms का सेट) इस तरह के एक functor का एक उदाहरण है। यदि C एक श्रेणी_(गणित)#छोटा_और_बड़ा_श्रेणियाँ है (अर्थात इसकी वस्तुओं का संग्रह एक सेट बनाता है), तो C से 'सेट' तक के प्रतिपरिवर्तक फ़ैक्टर, साथ में रूपात्मकता के रूप में प्राकृतिक परिवर्तनों के साथ, एक नई श्रेणी बनाते हैं, एक फ़ंक्टर श्रेणी जिसे के रूप में जाना जाता है सी पर presheaves की श्रेणी।

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

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

एक अन्य समाधान ग्रोथेंडिक ब्रह्मांडों के अस्तित्व को मान लेना है। मोटे तौर पर बोलना, एक ग्रोथेंडिक ब्रह्मांड एक सेट है जो स्वयं जेडएफ (सी) का एक मॉडल है (उदाहरण के लिए यदि कोई सेट ब्रह्मांड से संबंधित है, तो इसके तत्व और इसकी शक्तियां ब्रह्मांड से संबंधित होंगी)। ग्रोथेंडिक ब्रह्मांडों का अस्तित्व (खाली सेट और सेट के अलावा $$V_\omega$$ सभी आनुवंशिक रूप से परिमित सेटों में) सामान्य ZF स्वयंसिद्धों द्वारा निहित नहीं है; यह एक अतिरिक्त, स्वतंत्र स्वयंसिद्ध है, मोटे तौर पर दुर्गम कार्डिनल्स के अस्तित्व के बराबर है। इस अतिरिक्त स्वयंसिद्ध को मानते हुए, सेट की वस्तुओं को किसी विशेष ब्रह्मांड के तत्वों तक सीमित कर सकते हैं। (मॉडल के भीतर सभी सेटों का कोई सेट नहीं है, लेकिन कोई भी सभी आंतरिक सेटों के वर्ग 'यू' के बारे में तर्क कर सकता है, यानी 'यू' के तत्व।)

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

कई अन्य समाधान, और उपरोक्त पर विविधताएं प्रस्तावित की गई हैं। अन्य ठोस श्रेणियों के साथ भी यही समस्याएँ उत्पन्न होती हैं, जैसे समूहों की श्रेणी या टोपोलॉजिकल स्पेस की श्रेणी।

यह भी देखें

 * टोपोलॉजिकल स्पेस की श्रेणी
 * समुच्चय सिद्धान्त
 * छोटा सेट (श्रेणी सिद्धांत)

संदर्भ

 * Lawvere, F.W. An elementary theory of the category of sets (long version) with commentary
 * Lawvere, F.W. An elementary theory of the category of sets (long version) with commentary
 * Lawvere, F.W. An elementary theory of the category of sets (long version) with commentary

इस पेज में लापता आंतरिक लिंक की सूची

 * समारोह रचना
 * आकारिता
 * अंक शास्त्र
 * कुल समारोह
 * संबंधी संपत्ति
 * पहचान समारोह
 * कार्तीय गुणन
 * खाली समारोह
 * पूरी श्रेणी
 * समाकृतिकता (श्रेणी सिद्धांत)
 * द्विभाजित
 * संघ अलग करना
 * प्रतिउत्पाद (श्रेणी सिद्धांत)
 * योजक श्रेणी
 * प्रतिपरिवर्ती संचालिका
 * प्रत्यक्ष सीमा
 * पूर्वगामी श्रेणी
 * पसंद का स्वयंसिद्ध
 * फ़ैक्टर श्रेणी
 * नींव का स्वयंसिद्ध
 * वंशानुगत रूप से परिमित सेट
 * दृढ़ता से दुर्गम कार्डिनल

बाहरी संबंध

 * A231344   Number of morphisms in full subcategories of Set spanned by {{}, {1}, {1, 2}, ..., {1, 2, ..., n}} at OEIS.