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