The algebra of resolution