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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

[править код]

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

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

[править код]

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

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

[править код]

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

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