univalence

[США]/[juːˈnɪvələns]/
[Великобритания]/[ˌjunɪˈvʌləns]/

Перевод

n. свойство быть унитарным; состояние, при котором есть только одно значение; в теории категорий — категория, в которой каждый морфизм является мономорфизмом
adj. имеющий только одно значение

Фразы и словосочетания

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