أرسل هذا في رسالة قصيرة: In a general category with finite products, the morphisms of group objects that satisfy the existence of a left identity element form a commutative diagram.