[0,1]に対応する単体複体をI_*として、チェインホモトピーをチェインマップA_* ⊗I_*→B_*であって然るべき可換図式を満たすものとして定義した方が、お気持ちが分かりやすいのでは?という気がする。