Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Category theory : product and coproduct

  1. Aug 14, 2011 #1
    Hi,

    I was trying to understand coproduct and product as defined in category theory from the website

    http://en.wikiversity.org/wiki/Introduction_to_Category_Theory/Products_and_Coproducts.

    Before I could even think of sth difficult there are some simple things which I dont seem to understand. If anybody could kindly explain it would be helpful.

    Not every category has products for all pairs of objects (i.e. 'has all products'). For example in the category with 3 objects and 2 arrows (+identity arrows) shown at right, the product of A and C is the object A together with morphisms.

    http://upload.wikimedia.org/wikipedia/commons/f/f8/Simple_category.svg.

    I see that t[itex]\pi[/itex][itex]_{1}[/itex]g = [itex]\pi[/itex][itex]_{2}[/itex]g where the t is the morphism between A and C. But does this somehow fail the uniqueness of g. Not sure how did he get the product as A with the two morphisms identity and t.

    Excuse me as not being able to see the Greek letters even after I typed from the latex help
     
    Last edited: Aug 14, 2011
  2. jcsd
  3. Aug 14, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    The point of that diagram is that A and B does not have a product. AxC does exist and is equal to A.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Category theory : product and coproduct
  1. Category theory (Replies: 33)

  2. Category Theory. (Replies: 18)

Loading...