category of bounded below chain complexes
1. Definition
Let \(\mathcal{A}\) be a pointed category
The category \(\mathrm{Ch}(\mathcal{A})\) of bounded below chain complexes of \(\mathcal{A}\) consists of
- bounded below chain complexes chain complexes in \(\mathcal{A}\) as objects
- chain morphisms as morphisms