univalence

[Mỹ]/[juːˈnɪvələns]/
[Anh]/[ˌjunɪˈvʌləns]/

Dịch

Cụm từ & Cách kết hợp

univalence principle

demonstrating univalence

univalence condition

maintaining univalence

univalence property

with univalence

establishing univalence

univalence analysis

seeking univalence

based on univalence

Câu ví dụ

the univalence property is crucial for understanding higher category theory.

we investigated the univalence axioms in the context of type theory.

univalence allows for a more general notion of equality.

the univalence condition simplifies certain calculations in homotopy type theory.

we proved the univalence of the identity morphism.

univalence provides a powerful tool for reasoning about types.

the concept of univalence is central to higher-dimensional algebra.

we explored the implications of univalence for model checking.

univalence plays a significant role in the foundations of mathematics.

the univalence axioms are essential for constructing higher-order universes.

we studied the univalence of interval types.

Từ phổ biến

Khám phá những từ vựng được tìm kiếm thường xuyên

Tải ứng dụng để mở khóa toàn bộ nội dung

Muốn học từ vựng hiệu quả hơn? Tải ngay ứng dụng DictoGo và tận hưởng nhiều tính năng ghi nhớ và ôn tập từ vựng hơn nữa!

Tải DictoGo ngay