univalence

[สหรัฐอเมริกา]/[juːˈnɪvələns]/
[สหราชอาณาจักร]/[ˌjunɪˈvʌləns]/

คำแปล

n. คุณสมบัติของการเป็นสารที่มีค่าความเป็นหนึ่งเดียว; สถานะของการมีค่าเพียงค่าเดียว; ในทฤษฎีหมวดหมู่ คือหมวดหมู่ที่ทุก morphism เป็น monomorphism
adj. มีค่าเพียงค่าเดียว

วลีและการจับคู่คำ

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 ตอนนี้