Обсуждение:Гомотопия

Статья «Гомотопия» входит в общий для всех языковых разделов Википедии расширенный список необходимых статей.
Её развитие вплоть до статуса избранной является важным направлением работы русского раздела Википедии.

Вы можете посетить страницу проекта «Мириада», который занимается улучшением наиболее важных статей Википедии, и, при желании, присоединиться к нему.

Неправильная подпись

На гифке изображена вовсе не гомотопическая эквивалентность, а гомотопия (изотопия) двух вложений тора (или полнотория, по картинке не скажешь) в трёхмерное пространство.

Добавить куда-нибудь

Информацию про гомотопии морфизмов комплексов, гомотопические категория, поставить ссылку на статью про гомологическую алгебру.

Гомотопическая теория типов

Последнее сообщение: 10 лет назад1 сообщение1 человек в обсуждении

Гомотопическая теория типов должна бы уже быть упомянута и описана. Статья теория типов есть...

--Nashev 07:56, 15 января 2014 (UTC)Ответить

Добавить тему