ความสัมพันธ์ที่เป็นอันหนึ่งอันเดียวกันสำหรับทฤษฎีของ cateogries กับแนวคิดโครงกระดูก
ว่าฉันทำงานในทฤษฎีประเภท homotopyและวัตถุการศึกษาของฉันเป็นหมวดหมู่ทั่วไป ความเท่าเทียมกันที่นี่ได้รับจาก functorsและ ซึ่งให้ความสมดุลของหมวดD} มี isomorphisms ตามธรรมชาติและเพื่อให้ functor นี้และ "inverse" functor จะถูกแปลงเป็น functor หน่วยF:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C}G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D} C≃DC≃D{\bf C} \simeq {\bf D}α:nat(FG,1C)α:nat(FG,1C)\alpha:\mathrm{nat}(FG,1_{\bf C})β:nat(GF,1D)β:nat(GF,1D)\beta:\mathrm{nat}(GF,1_{\bf D}) ตอนนี้univalenceเกี่ยวข้องกับการเทียบเคียงกับเอกลักษณ์ประเภทของทฤษฎีประเภทเจตนาฉันเลือกที่จะพูดคุยเกี่ยวกับหมวดหมู่ เนื่องจากฉันจัดการกับหมวดหมู่เท่านั้นและสิ่งเหล่านั้นเทียบเท่าหากพวกเขามีโครงกระดูกแบบ isomorphic ฉันจึงสงสัยว่าฉันสามารถแสดงความจริงที่เป็นเอกภาพในแง่ของการส่งผ่านไปยังโครงกระดูกของหมวดหมู่C=DC=D{\bf C}={\bf D} หรือมิฉะนั้นฉันสามารถกำหนดประเภทของตัวตนคือการแสดงออกทางสีหน้า ในทางที่บอกว่า "มีโครงกระดูก (หรือ isomorphi) และและทั้งคู่มีค่าเท่ากัน "?C=D:=…C=D:=…{\bf C}={\bf D}:=\dotsCC{\bf C}DD{\bf D} (ในข้างต้นฉันพยายามตีความทฤษฎีประเภทในแง่ของแนวคิดที่ง่ายต่อการนิยาม - แนวคิดทางทฤษฎีหมวดหมู่ฉันคิดเกี่ยวกับเรื่องนี้เพราะในทางศีลธรรมมันดูเหมือนว่าฉันว่าสัจพจน์ "แก้ไข" ทฤษฎีประเภทเจตนาโดยการเข้ารหัสยากหลักการสมดุลที่มีอยู่แล้วส่วนหนึ่งของธรรมชาติของการกำหนดประเภทงบทฤษฎีเช่นระบุวัตถุเพียง แต่ในแง่คุณสมบัติสากล.)