Some Structure Theory of Categories

We have not defined the notion of isomorphisms between trisps. It is natural to take it as a definition that two trisps are isomorphic if and only if they correspond to isomorphic objects in TriSp. 

Example 4-15. The category of chain complexes of TZ-modules, 7 -CCom. 

Let us look at some concepts that can be defined in terms of the notion of 

---