univalence principle
หลักการความเป็นหนึ่งเดียว
demonstrating univalence
การสาธิตความเป็นหนึ่งเดียว
univalence condition
เงื่อนไขความเป็นหนึ่งเดียว
maintaining univalence
การรักษาความเป็นหนึ่งเดียว
univalence property
คุณสมบัติความเป็นหนึ่งเดียว
with univalence
ด้วยความเป็นหนึ่งเดียว
establishing univalence
การสร้างความเป็นหนึ่งเดียว
univalence analysis
การวิเคราะห์ความเป็นหนึ่งเดียว
seeking univalence
การแสวงหาความเป็นหนึ่งเดียว
based on univalence
บนพื้นฐานของความเป็นหนึ่งเดียว
the univalence property is crucial for understanding higher category theory.
คุณสมบัติของ univalence มีความสำคัญมากสำหรับการเข้าใจทฤษฎีหมวดหมู่ระดับสูง
we investigated the univalence axioms in the context of type theory.
เราได้ศึกษาคุณสมบัติของ univalence ในบริบทของทฤษฎีประเภท
univalence allows for a more general notion of equality.
univalence ช่วยให้สามารถนิยามความเท่าเทียมกันในเชิงกว้างขึ้นได้
the univalence condition simplifies certain calculations in homotopy type theory.
เงื่อนไขของ univalence ช่วยให้การคำนวณบางอย่างในทฤษฎีประเภทโฮโมโทปีง่ายขึ้น
we proved the univalence of the identity morphism.
เราได้พิสูจน์ว่า morphism ของอัตลักษณ์มีคุณสมบัติของ univalence
univalence provides a powerful tool for reasoning about types.
univalence ให้เครื่องมือที่ทรงพลังในการพิจารณาประเภทต่าง ๆ
the concept of univalence is central to higher-dimensional algebra.
แนวคิดของ univalence เป็นศูนย์กลางของพีชคณิตมิติสูง
we explored the implications of univalence for model checking.
เราได้สำรวจผลกระทบของ univalence ต่อการตรวจสอบแบบจำลอง
univalence plays a significant role in the foundations of mathematics.
univalence มีบทบาทสำคัญในพื้นฐานของคณิตศาสตร์
the univalence axioms are essential for constructing higher-order universes.
คุณสมบัติของ univalence เป็นสิ่งจำเป็นในการสร้างจักรวาลลำดับสูง
we studied the univalence of interval types.
เราได้ศึกษาคุณสมบัติของ univalence ของประเภทช่วง
univalence principle
หลักการความเป็นหนึ่งเดียว
demonstrating univalence
การสาธิตความเป็นหนึ่งเดียว
univalence condition
เงื่อนไขความเป็นหนึ่งเดียว
maintaining univalence
การรักษาความเป็นหนึ่งเดียว
univalence property
คุณสมบัติความเป็นหนึ่งเดียว
with univalence
ด้วยความเป็นหนึ่งเดียว
establishing univalence
การสร้างความเป็นหนึ่งเดียว
univalence analysis
การวิเคราะห์ความเป็นหนึ่งเดียว
seeking univalence
การแสวงหาความเป็นหนึ่งเดียว
based on univalence
บนพื้นฐานของความเป็นหนึ่งเดียว
the univalence property is crucial for understanding higher category theory.
คุณสมบัติของ univalence มีความสำคัญมากสำหรับการเข้าใจทฤษฎีหมวดหมู่ระดับสูง
we investigated the univalence axioms in the context of type theory.
เราได้ศึกษาคุณสมบัติของ univalence ในบริบทของทฤษฎีประเภท
univalence allows for a more general notion of equality.
univalence ช่วยให้สามารถนิยามความเท่าเทียมกันในเชิงกว้างขึ้นได้
the univalence condition simplifies certain calculations in homotopy type theory.
เงื่อนไขของ univalence ช่วยให้การคำนวณบางอย่างในทฤษฎีประเภทโฮโมโทปีง่ายขึ้น
we proved the univalence of the identity morphism.
เราได้พิสูจน์ว่า morphism ของอัตลักษณ์มีคุณสมบัติของ univalence
univalence provides a powerful tool for reasoning about types.
univalence ให้เครื่องมือที่ทรงพลังในการพิจารณาประเภทต่าง ๆ
the concept of univalence is central to higher-dimensional algebra.
แนวคิดของ univalence เป็นศูนย์กลางของพีชคณิตมิติสูง
we explored the implications of univalence for model checking.
เราได้สำรวจผลกระทบของ univalence ต่อการตรวจสอบแบบจำลอง
univalence plays a significant role in the foundations of mathematics.
univalence มีบทบาทสำคัญในพื้นฐานของคณิตศาสตร์
the univalence axioms are essential for constructing higher-order universes.
คุณสมบัติของ univalence เป็นสิ่งจำเป็นในการสร้างจักรวาลลำดับสูง
we studied the univalence of interval types.
เราได้ศึกษาคุณสมบัติของ univalence ของประเภทช่วง
สำรวจคำศัพท์ที่มีการค้นหาบ่อย
ต้องการเรียนรู้คำศัพท์อย่างมีประสิทธิภาพยิ่งขึ้นหรือไม่? ดาวน์โหลดแอป DictoGo แล้วสนุกกับฟีเจอร์ช่วยจดจำและทบทวนคำศัพท์มากมาย!
ดาวน์โหลด DictoGo ตอนนี้