Вопросы с тегом гомотопический типа теории - PullRequest

Вопросы с тегом гомотопический типа теории

0 голосов
0 ответов

У меня есть определение Коната в Агде (на самом деле это определение в кубической библиотеке ).Я...

Potato44 / 19 февраля 2019
0 голосов
1 ответ
0 голосов
2 ответов

Я задал следующий вопрос в CS SE : Например, при доказательстве леммы 6.4.1 в книге HoTT функция,...

Cactus / 25 ноября 2018
0 голосов
2 ответов

Является ли аксиома однолистности обратимой (по модулю путей)? Можно ли доказать, используя...

Cactus / 14 ноября 2018
0 голосов
2 ответов

Используя библиотеку cubical-demo, я подумал, что следующее будет тривиально доказать: {-# OPTIONS...

Cactus / 06 ноября 2018
0 голосов
2 ответов

Я бы хотел определить функцию с двумя аргументами с большей индуктивной типизацией в кубическом...

Cactus / 04 ноября 2018
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...