univalence principle
Tekdeğerlilik ilkesi
demonstrating univalence
Tekdeğerliliği göstermek
univalence condition
Tekdeğerlilik koşulu
maintaining univalence
Tekdeğerliliği korumak
univalence property
Tekdeğerlilik özelliği
with univalence
Tekdeğerlilikle birlikte
establishing univalence
Tekdeğerliliği kurmak
univalence analysis
Tekdeğerlilik analizi
seeking univalence
Tekdeğerlilik aramak
based on univalence
Tekdeğerlilik temelli
the univalence property is crucial for understanding higher category theory.
Ünivalans özelliği, yüksek kategori teorisini anlamanın kritik bir unsuru dur.
we investigated the univalence axioms in the context of type theory.
Türkçe_translation
univalence allows for a more general notion of equality.
Türkçe_translation
the univalence condition simplifies certain calculations in homotopy type theory.
Türkçe_translation
we proved the univalence of the identity morphism.
Türkçe_translation
univalence provides a powerful tool for reasoning about types.
Türkçe_translation
the concept of univalence is central to higher-dimensional algebra.
Türkçe_translation
we explored the implications of univalence for model checking.
Türkçe_translation
univalence plays a significant role in the foundations of mathematics.
Türkçe_translation
the univalence axioms are essential for constructing higher-order universes.
Türkçe_translation
we studied the univalence of interval types.
Türkçe_translation
univalence principle
Tekdeğerlilik ilkesi
demonstrating univalence
Tekdeğerliliği göstermek
univalence condition
Tekdeğerlilik koşulu
maintaining univalence
Tekdeğerliliği korumak
univalence property
Tekdeğerlilik özelliği
with univalence
Tekdeğerlilikle birlikte
establishing univalence
Tekdeğerliliği kurmak
univalence analysis
Tekdeğerlilik analizi
seeking univalence
Tekdeğerlilik aramak
based on univalence
Tekdeğerlilik temelli
the univalence property is crucial for understanding higher category theory.
Ünivalans özelliği, yüksek kategori teorisini anlamanın kritik bir unsuru dur.
we investigated the univalence axioms in the context of type theory.
Türkçe_translation
univalence allows for a more general notion of equality.
Türkçe_translation
the univalence condition simplifies certain calculations in homotopy type theory.
Türkçe_translation
we proved the univalence of the identity morphism.
Türkçe_translation
univalence provides a powerful tool for reasoning about types.
Türkçe_translation
the concept of univalence is central to higher-dimensional algebra.
Türkçe_translation
we explored the implications of univalence for model checking.
Türkçe_translation
univalence plays a significant role in the foundations of mathematics.
Türkçe_translation
the univalence axioms are essential for constructing higher-order universes.
Türkçe_translation
we studied the univalence of interval types.
Türkçe_translation
Sıkça aranan kelimeleri keşfedin
Kelimeleri daha verimli öğrenmek ister misiniz? DictoGo uygulamasını indirin ve daha fazla kelime ezberleme ve tekrar özelliğinin keyfini çıkarın!
DictoGo'yu Hemen İndir