separated_unit is a colimit
separated_unit is a colimit
clean : rm limit_colimit and truncation