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