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 сейчас