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