Chain map (source code)

= Chain map
{wiki}

A chain map $f:C\to C'$ is a family $f_i:C_i\to C'_i$ satisfying $d'_if_i=f_{i-1}d_i$.