Homological Algebra on the Tech Tree