Obstruction theory in algebraic categories, I☆