Обсуждение:Гомотопия
Перейти к навигации
Перейти к поиску
 | Статья «Гомотопия» входит в общий для всех языковых разделов Википедии расширенный список необходимых статей. Её развитие вплоть до статуса избранной является важным направлением работы русского раздела Википедии. |
Неправильная подпись
[править код]На гифке изображена вовсе не гомотопическая эквивалентность, а гомотопия (изотопия) двух вложений тора (или полнотория, по картинке не скажешь) в трёхмерное пространство.
Добавить куда-нибудь
[править код]Информацию про гомотопии морфизмов комплексов, гомотопические категория, поставить ссылку на статью про гомологическую алгебру.
Гомотопическая теория типов
[править код]Гомотопическая теория типов должна бы уже быть упомянута и описана. Статья теория типов есть...