No label defined (Q4037031)

[For the entire collection see Zbl 0754.00013.] The author presents a general categorical frame with enough homological properties to treat homotopy theory. The basic notion is the one of a semiexact category which is a category together with a closed ideal of morphisms, the null morphisms, such that every morphism has a kernel and a cokernel with respect to it. Now exact sequences and functors, homology theories, homological categories and homotopy relations can be defined. On this unifying general level, among others, the category of pairs of topological spaces, a singular homology for coverings, relative cohomology for groups and the category of actions of groups on pointed sets are considered.