univalence principle
German_translation
demonstrating univalence
German_translation
univalence condition
German_translation
maintaining univalence
German_translation
univalence property
German_translation
with univalence
German_translation
establishing univalence
German_translation
univalence analysis
German_translation
seeking univalence
German_translation
based on univalence
German_translation
the univalence property is crucial for understanding higher category theory.
Die Univalenz-Eigenschaft ist entscheidend für das Verständnis der höheren Kategorientheorie.
we investigated the univalence axioms in the context of type theory.
Wir untersuchten die Univalenz-Axiome im Kontext der Typentheorie.
univalence allows for a more general notion of equality.
Univalenz ermöglicht eine allgemeinere Vorstellung von Gleichheit.
the univalence condition simplifies certain calculations in homotopy type theory.
Die Univalenz-Bedingung vereinfacht bestimmte Berechnungen in der Homotopietypentheorie.
we proved the univalence of the identity morphism.
Wir bewiesen die Univalenz der Identitätsabbildung.
univalence provides a powerful tool for reasoning about types.
Univalenz bietet ein mächtiges Werkzeug zur Verständnis von Typen.
the concept of univalence is central to higher-dimensional algebra.
Der Begriff der Univalenz ist zentral für die höhere Dimensionenalgebra.
we explored the implications of univalence for model checking.
Wir untersuchten die Implikationen der Univalenz für das Modellprüfen.
univalence plays a significant role in the foundations of mathematics.
Univalenz spielt eine bedeutende Rolle in den Grundlagen der Mathematik.
the univalence axioms are essential for constructing higher-order universes.
Die Univalenz-Axiome sind entscheidend für die Konstruktion höherer Universen.
we studied the univalence of interval types.
Wir untersuchten die Univalenz von Intervall-Typen.
univalence principle
German_translation
demonstrating univalence
German_translation
univalence condition
German_translation
maintaining univalence
German_translation
univalence property
German_translation
with univalence
German_translation
establishing univalence
German_translation
univalence analysis
German_translation
seeking univalence
German_translation
based on univalence
German_translation
the univalence property is crucial for understanding higher category theory.
Die Univalenz-Eigenschaft ist entscheidend für das Verständnis der höheren Kategorientheorie.
we investigated the univalence axioms in the context of type theory.
Wir untersuchten die Univalenz-Axiome im Kontext der Typentheorie.
univalence allows for a more general notion of equality.
Univalenz ermöglicht eine allgemeinere Vorstellung von Gleichheit.
the univalence condition simplifies certain calculations in homotopy type theory.
Die Univalenz-Bedingung vereinfacht bestimmte Berechnungen in der Homotopietypentheorie.
we proved the univalence of the identity morphism.
Wir bewiesen die Univalenz der Identitätsabbildung.
univalence provides a powerful tool for reasoning about types.
Univalenz bietet ein mächtiges Werkzeug zur Verständnis von Typen.
the concept of univalence is central to higher-dimensional algebra.
Der Begriff der Univalenz ist zentral für die höhere Dimensionenalgebra.
we explored the implications of univalence for model checking.
Wir untersuchten die Implikationen der Univalenz für das Modellprüfen.
univalence plays a significant role in the foundations of mathematics.
Univalenz spielt eine bedeutende Rolle in den Grundlagen der Mathematik.
the univalence axioms are essential for constructing higher-order universes.
Die Univalenz-Axiome sind entscheidend für die Konstruktion höherer Universen.
we studied the univalence of interval types.
Wir untersuchten die Univalenz von Intervall-Typen.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now