Симплициальная гомотопия

В алгебраической топологии симплициальная гомотопия ^{стр. 23} является аналогом гомотопии топологических пространств для симплициальных множеств . Если

$f,g:X\to Y$

являются отображениями между симплициальными множествами, симплициальная гомотопия из f в g является отображением

$h:X\times \Delta ^{1}\to Y$

такая, что диаграмма (см. [1] ), образованная f , g и h, коммутирует; главное – использовать диаграмму, которая приводит к $f(x)=h(x,0)$ и $g(x)=h(x,1)$ для x в X. всех

См. также

• Может быть сложным
• Соответствие Долда – Кана (при котором цепная гомотопия соответствует симплициальной гомотопии)
• Симплициальная гомология

Внешние ссылки

• симплициальная гомотопия