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.
Ми вивчали єдність інтервальних типів.
Досліджуйте найпопулярніші пошукові слова
Бажаєте вивчати лексику ефективніше? Завантажте додаток DictoGo та насолоджуйтеся додатковими функціями запам'ятовування та повторення слів!
Завантажте DictoGo просто зараз