functor preserving chain homotopies

1. Definition

Let 20240223-functor_preserving_chain_homotopies_8bca0a22355f86c50b3e315a050fae8717462859.svg be additive categories, 20240223-functor_preserving_chain_homotopies_3f76025636e1f68eb55fc7cf024d86db411f9f26.svg the category of chain complexes and

20240223-functor_preserving_chain_homotopies_ad7518ca348a60868a55b75a6e058eba0297102f.svg

be a functor

Then 20240223-functor_preserving_chain_homotopies_f1aeb1ac71cce52f443892bfa958e0fd4a349772.svg is said to preserve chain homotopies, if for chain complexes with a chain homotopy 20240223-functor_preserving_chain_homotopies_224d6ba9db532b34f6ed3914cf5449ff7fe5e742.svg

20240223-functor_preserving_chain_homotopies_0a426689349685fecbce1388264b6a123e27322a.svg

the resulting chain complexes

20240223-functor_preserving_chain_homotopies_4ced229d62db48f504ab238e5dade00f8bfdc037.svg

are chain homtopic

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 09:09