univalence

[الولايات المتحدة]/[juːˈnɪvələns]/
[المملكة المتحدة]/[ˌjunɪˈvʌləns]/

ترجمة

n. خاصية كونها أحادية القيمة؛ الحالة التي تكون فيها فقط قيمة واحدة؛ في نظرية الفئات، فئة تكون فيها كل عملية تحويل تُعتبر تضمينًا.
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.

إن خاصية التوحيد ضرورية لفهم نظرية الفئات العليا.

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.

لقد درسنا توحيد أنواع الفترات.

كلمات شائعة

استكشف المفردات الأكثر بحثًا

نزّل التطبيق لفتح المحتوى الكامل

هل تريد تعلم المفردات بشكل أكثر فاعلية؟ قم بتنزيل تطبيق DictoGo واستمتع بمزيد من ميزات حفظ ومراجعة المفردات!

نزّل DictoGo الآن