Uniqueness of Colimits