univalence principle
עקרון היחידות
demonstrating univalence
הדגשת היחידות
univalence condition
תנאי יחידות
maintaining univalence
הkeeping של יחידות
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.
אנו למדו את האוניבאלנטיות של טיפוסי קטעים.
univalence principle
עקרון היחידות
demonstrating univalence
הדגשת היחידות
univalence condition
תנאי יחידות
maintaining univalence
הkeeping של יחידות
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 עכשיו