на основе единственности единицы мое утверждение и построено
Вы говорите, что единица выделена в определении и потому единственная. А я про то, что любой морфизм, дающий в композиции со всеми остальными (с согласованными доменами и кодоменами) их самих, равен соответствующему id