cocompletions