relative singular chain complex functor

1. Definition / Proposition

Given the category of topological pairs, the relative singular chain complex functor is defined as functor

20240130-relative_singular_chain_complex_functor_80e49ae518de7c5769b1a325b76d77d8efa8a19b.svg

where 20240130-relative_singular_chain_complex_functor_f9346ef828b5c0f07995549e63bcfe1340544bb2.svg is given by naturality of

20240130-relative_singular_chain_complex_functor_7522c82348000e773506e7e961d59a5c3ca6ab8e.svg

and thus applying the colim on

20240130-relative_singular_chain_complex_functor_268360ea318383c934849df0af101878c5b509cf.svg

see also:

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 08:50