मैं होमोटॉपी टाइप थ्योरी ऑनलाइन पुस्तक में आश्रित प्रकार के सिद्धांत के बारे में पढ़ रहा हूं ।
टाइप थ्योरी अध्याय के खंड 1.3 में , यह यूनिवर्स की पदानुक्रम की धारणा का परिचय देता है : , जहां
हर ब्रह्मांड अगले ब्रह्मांड का एक तत्व है । इसके अलावा, हम मानते हैं कि हमारे ब्रह्मांड संचयी हैं, अर्थात सभी तत्व ब्रह्मांड भी ब्रह्मांड के तत्व हैं।U i + 1 i t h (i+1 ) t h
फिर भी, जब मैं परिशिष्ट A में विभिन्न प्रकारों के लिए गठन नियमों को देखता हूं, पहली नज़र में, यदि कोई ब्रह्मांड एक आधार के रूप में बार के ऊपर दिखाई देता है, तो वही ब्रह्मांड नीचे दिखाई देता है। उदाहरण के लिए प्रतिरूप प्रकार गठन नियम के लिए:
तो मेरा सवाल यह है कि एक पदानुक्रम क्यों आवश्यक है? आपको किस परिस्थिति में एक ब्रह्मांड से एक उच्चतर पदानुक्रम में कूदने की आवश्यकता है? यह वास्तव में मेरे लिए स्पष्ट नहीं है कि कैसे के किसी भी संयोजन को देखते हुए , आप एक प्रकार से खत्म कर सकते हैं वह यह है कि नहीं में । अधिक विवरण में: परिशिष्ट A.2.4, A.2.5, A.2.6, A.2.7, A.2.8, A.2.9, A.2.10, A.3.2 के वर्गों में गठन नियम या तो उल्लेख करते हैं आधार और निर्णय में, या सिर्फ निर्णय में। बीयू मैं
पुस्तक यह भी संकेत देती है कि ब्रह्मांडों को निर्दिष्ट करने का एक औपचारिक तरीका है:
यदि कोई तर्क सही है, इस बारे में कोई संदेह है, तो इसे जांचने का तरीका यह है कि इसमें दिखाई देने वाले सभी ब्रह्मांडों को लगातार स्तर प्रदान करने का प्रयास करें।
लगातार स्तरों को असाइन करने की प्रक्रिया क्या है?
रसेल विरोधाभास की ओर ले जाएगा । रसेल विरोधाभास से बचने का स्पष्ट रूप से पुस्तक में उल्लेख किया गया है (पृष्ठ 24)। यह अधिक विवरण पृष्ठ ५४, ५५ में भी जाता है जो "टार्स्की-शैली के ब्रह्मांडों" के बजाय "रसेल-शैली के ब्रह्मांड" का उपयोग करता है। इसलिए बहुत उच्च स्तर पर, मैं इस बात को स्वीकार करता हूं कि सिद्धांत विरोधाभास से बचना चाहता है। दुर्भाग्य से मेरे पास सीधे तौर पर समझ बनाने के लिए पृष्ठभूमि नहीं है। क्या मैं इस सवाल में के बाद कर रहा हूँ, वास्तव में सिर्फ में चीजों के कुछ उदाहरण हो रही द्वारा सतह खरोंच है और में नहीं के लिए और कुछ और है कि मुझे एक महसूस हो सकता है कैसे पदानुक्रम काम करते हैं।