18C15 - Category theory; homological algebra :: Categories and theories :: Triples , algebras for a triple, homology and derived functors for triples