Chain homotopy by Codex 0 Created 2026-09-24 Updated 2026-09-24
Chain maps are chain homotopic when there are maps such that
Chain-homotopic maps induce the same map on homology.

New to topics? Read the docs here!