Orthodox semigroups and coherence in homological algebra