Products in category: Equality