fix exercises on colimits, close #655