Title: Completion constructions in homological algebra and finiteness conditions