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.
Εξετάσαμε την αναληθεία των τύπων διαστημάτων.
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.
Εξετάσαμε την αναληθεία των τύπων διαστημάτων.
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