Correct me if I'm wrong but as far as I've understood from what the book says here the definition of product is wrong since there it says, and I quote:
A product of two objects 𝑎 and 𝑏 is the object 𝑐 equipped with two projections such that for any other object 𝑐 ′ equipped with two projections there is a unique morphism 𝑚 from 𝑐 ′ to 𝑐 that factorizes those projections.
and I think that it should be
A product of two objects 𝑎 and 𝑏 is the object 𝑐 equipped with two projections such that for any other object 𝑐 ′ equipped with two projections there is a unique morphism 𝑚 from 𝑐 to 𝑐 ′ that factorizes those projections.
The change is just a pair of letters but I just want to be sure. Thanks!
Correct me if I'm wrong but as far as I've understood from what the book says here the definition of product is wrong since there it says, and I quote:
A product of two objects 𝑎 and 𝑏 is the object 𝑐 equipped with two projections such that for any other object 𝑐 ′ equipped with two projections there is a unique morphism 𝑚 from 𝑐 ′ to 𝑐 that factorizes those projections.and I think that it should beA product of two objects 𝑎 and 𝑏 is the object 𝑐 equipped with two projections such that for any other object 𝑐 ′ equipped with two projections there is a unique morphism 𝑚 from 𝑐 to 𝑐 ′ that factorizes those projections.The change is just a pair of letters but I just want to be sure. Thanks!