ฉันกำลังอ่านเกี่ยวกับทฤษฎีประเภทพึ่งพาในหนังสือออนไลน์ทฤษฎีประเภทโฮโมโทรป
ในส่วนที่ 1.3 ของทฤษฎีประเภทบทจะแนะนำแนวคิดของลำดับชั้นของจักรวาล :โดยที่
ทุกจักรวาลเป็นองค์ประกอบของจักรวาลถัดไป1} ยิ่งกว่านั้นเราคิดว่าเอกภพของเราสะสมนั่นคือองค์ประกอบทั้งหมดของจักรวาลเป็นองค์ประกอบของจักรวาลU ฉัน+ 1ฉันทีเอช (ฉัน+1 ) ทีเอช
แต่เมื่อฉันดูกฎการก่อตัวของประเภทต่าง ๆ ในภาคผนวก A ในแวบแรกถ้าจักรวาลปรากฏขึ้นเหนือแถบเป็นหลักฐานจักรวาลเดียวกันจะปรากฏขึ้นด้านล่าง ตัวอย่างเช่นกฎการสร้างประเภท coproduct:
ดังนั้นคำถามของฉันคือทำไมลำดับชั้นจึงจำเป็น? ภายใต้สถานการณ์ใดบ้างที่คุณต้องกระโดดจากเอกภพไปยังลำดับที่สูงกว่า มันเป็นเรื่องที่ไม่ชัดเจนกับผมว่าได้รับการรวมกันของใด ๆคุณสามารถจบลงด้วยประเภทที่เป็นไม่ได้ใน\ในรายละเอียดเพิ่มเติม: กฎการก่อตัวในส่วนของภาคผนวก A.2.4, A.2.5, A.2.6, A.2.7, A.2.8, A.2.9, A.2.10, A.3.2 ทั้งพูดถึงในสถานที่และการตัดสินหรือเพียงแค่ในการตัดสิน BUฉัน
หนังสือเล่มนี้ยังบอกเป็นนัยว่ามีวิธีที่เป็นทางการในการมอบหมายจักรวาล:
หากมีข้อสงสัยเกี่ยวกับว่าข้อโต้แย้งนั้นถูกต้องหรือไม่วิธีการตรวจสอบก็คือพยายามกำหนดระดับอย่างสม่ำเสมอให้กับทุกจักรวาลที่ปรากฏอยู่ในนั้น
กระบวนการกำหนดระดับอย่างสม่ำเสมอเป็นอย่างไร
จะนำไปสู่ความขัดแย้งรัสเซล การหลีกเลี่ยงความขัดแย้งของรัสเซลนั้นถูกกล่าวถึงอย่างชัดเจนในหนังสือ (หน้า 24) มันยังมีรายละเอียดเพิ่มเติมหน้า 54, 55 ที่ใช้“ จักรวาลสไตล์รัสเซล” มากกว่า“ จักรวาลสไตล์ทาร์สกี” ดังนั้นในระดับที่สูงมากฉันยอมรับว่าทฤษฎีต้องการหลีกเลี่ยงความขัดแย้ง น่าเสียดายที่ฉันไม่มีภูมิหลังที่จะทำให้เข้าใจได้โดยตรง สิ่งที่ฉันตามมาในคำถามนี้เป็นเพียงรอยขีดข่วนพื้นผิวโดยรับตัวอย่างของสิ่งต่าง ๆ ในและไม่ใช่ในสำหรับและอาจเป็นอะไรก็ได้ที่ให้ความรู้สึกแก่ฉัน สำหรับการทำงานของลำดับชั้นUฉัน J>ฉัน