सेट
मूल अवधारणा । सदस्यता संबंध
x∈A
अन्य अवधारणाएँ। सदस्यता संबंध के संदर्भ में फ़ंक्शन को एक सेट के रूप में आदेशित जोड़े के साथ( एक्स , वाई ) ∈ च और ( एक्स , जेड ) ∈ च ⇒ y = zf
(x,y)∈f and (x,z)∈f⇒y=z
दर्शन। सेट में एक आंतरिक संरचना होती है - वे अपने तत्वों द्वारा पूरी तरह से निर्धारित होती हैं।
टिप्पणी। सेट सिद्धांतकारों द्वारा व्यापक रूप से उपयोग की जाने वाली एक स्वयंसिद्ध प्रणाली ZFC है। इसकी ताकत सादगी है: केवल सेट और सदस्यता संबंध हैं। दूसरी ओर कई गणितज्ञों को लगता है कि इससे एक सेट अवधारणा बनती है जो उनकी समझ और सेट के उपयोग (लीस्टर के नीचे तुलना ) से हटती है । वास्तव में, गणितज्ञों के विशाल बहुमत (सेट सिद्धांतकारों को छोड़कर) को ZFC स्वयंसिद्धों का उपयोग नहीं लगता है। हालांकि, सेट जरूरी नहीं कि ZFC ( श्रेणियों और ETCS से नीचे देखें ) को देखें।
श्रेणियाँ
मूल अवधारणा। समारोह (तीर, रूपवाद)
A→B
अन्य अवधारणाएँ। सदस्यता संबंध एक टर्मिनल वस्तु से एक तीर के रूप में समझाया जाता है (में सेट एक टर्मिनल वस्तु एक सिंगलटन सेट है{ y } ) एक्स : 1 → एकx∈A{y})
x:1→A
दर्शन। किसी श्रेणी की वस्तुओं में कोई आंतरिक संरचना नहीं होती है। वे सिर्फ अन्य वस्तुओं के लिए अपने संबंधों (आकारिकी) की विशेषता है।
टिप्पणी। श्रेणियों की मूल अवधारणा कार्य है और यह गणितज्ञों के विशाल बहुमत द्वारा सेट के उपयोग के साथ मेल खाता है। इसलिए आप श्रेणियों को वैचारिक सामान्यीकरण के रूप में देख सकते हैं कि बहुत से विभिन्न क्षेत्रों के गणितज्ञ अपने दैनिक कार्य में सेट का उपयोग करते हैं। सामान्यीकरण के रूप में श्रेणियों (और टॉपोस) के अलावा आप स्वयंसिद्ध प्रणाली ETCS पर एक नज़र डाल सकते हैं जो स्वयंसिद्ध सेट ( लेइनस्टर और लॉवरे के नीचे की तुलना ) है।
सवाल। X कहने वाला समूह के बीच क्या अंतर है, बनाम यह कहना कि x श्रेणी जीआरपी में है?
एक कह सकते हैं अंतर नहीं है में वस्तु ही बल्कि कैसे आप के साथ सौदा करने का इरादा ।एक्सxx
(१) क्या आप की आंतरिक संरचना के लिए पूछते हैं ? इस स्थिति में को एक सेट के रूप में मानना स्वाभाविक हो सकता है ।एक्सxx
(२) क्या आप पूछते हैं कि एक ही तरह की अन्य वस्तुओं से कैसे संबंधित है (आकृति विज्ञान के माध्यम से) या अन्य प्रकार के (फंक्शनलर्स के माध्यम से)? इस मामले में आप समूहों की श्रेणी में को एक वस्तु के रूप में देख सकते हैं ।एक्सxx
आलोचकों का कहना है
ZFC और ETCS के मामले में, इन दृष्टिकोणों को एक दूसरे में अनुवादित किया जा सकता है, हालांकि ETCS ZFC से कमजोर है (लेकिन प्रतीत होता है) अधिकांश गणित को कवर करता है (MathStackExchange और Leinster देखें)। सिद्धांत रूप में (ETCS के एक विस्तार का उपयोग करके) आप दोनों दृष्टिकोणों के साथ एक ही परिणाम साबित कर सकते हैं। इसलिए दोनों अवधारणाओं के उपर्युक्त दर्शन इस बात पर मौलिक अंतर का दावा नहीं कर रहे हैं कि आप क्या व्यक्त कर सकते हैं या क्या परिणाम साबित कर सकते हैं।
भाव सेट और सदस्यता ZFC में सिर्फ श्रेणियों की अवधारणाओं या किसी अन्य अक्षीय प्रणाली की तरह अमूर्त अवधारणाओं रहे हैं और कुछ भी हो सकता है। इसलिए इस औपचारिक दृष्टिकोण से, यह दावा करने के लिए, कि ZFC सेट की आंतरिक संरचना से संबंधित है जबकि श्रेणियां वस्तुओं के बाहरी संबंधों के साथ एक -दूसरे के साथ अनुचित व्यवहार करती हैं। दूसरी ओर यह सिद्धांतों के संबंध में दर्शन या अंतर्ज्ञान प्रतीत होता है।
हालांकि व्यवहार में आप स्पष्टता या सरलता के लिए एक निश्चित दृष्टिकोण पसंद करेंगे या क्योंकि किसी अन्य क्षेत्र के लिए कुछ अवधारणा या एक कनेक्शन कहीं और से स्वाभाविक रूप से विकसित होता है।
संदर्भ
वैज्ञानिकों के लिए Spivak.Category सिद्धांत
Leinster.Rethinking सेट सिद्धांत
Lawvere.An प्राथमिक सिद्धांत सेट की श्रेणी का
सेट के बिना MathStackExchange.Category सिद्धांत