>>31
関手 ρ_*、ρ^、ρ~ に関するものは Cartan-Eilenberg, Bourbaki を
圏論的に再構成したもの