 Chain map

ID: chain-map

Codex  0 Created 2026-09-24 Updated 2026-09-24

f : C \to C^{'}

is a family

f_{i} : C_{i} \to C_{i}^{'}

satisfying

d_{i}^{'} f_{i} = f_{i - 1} d_{i}

 New to topics? Read the docs here!