Distributive L ttices and Coherence in Homolo ical Algebra