Talk:Product (category theory)
| WikiProject Mathematics (Rated Start-Class) | |||
|---|---|---|---|
 |
|||
| Mathematics rating: | Start Class | Mid Priority | Field: Foundations, logic, and set theory |
|
Please update this rating as the article progresses, or if the rating is inaccurate. |
|||
Maybe the 2-element case should go into Discussion? Which should be a bit more articulated, I think. Adandrews 21 Apr 2005
Contents |
[edit] Examples
I think the "examples" section is misleading, since it lists things like "in Category C the product is...". It gives the impression that the product is unique, when it should be explicit that it's unique up to isomorphism. Also, I think a negative example should be provided; for example, in the category of fields there ain't no such thing as a product, for example, there's no product of GF(2) and GF(3). Albmont (talk) 19:26, 30 September 2009 (UTC)
[edit] Product functor
The paragraph in "Discussion" about product functor is obscure. The gentle example of a product bifunctor 
is omitted. No description how a product functor acts on morphisms. The statement that hom-functor is continuous IMHO should go to the article Limit (category_theory)#Preservation_of_limits. --Beroal (talk) 03:09, 13 October 2010 (UTC)
[edit] Merge with Pullback (category theory)?
Shouldn't this be somehow merged with Pullback (category theory)? --Cokaban (talk) 16:46, 7 March 2011 (UTC)
[edit] Finite product diagram
Is there any particular reason that the diagram for the finite product does not follow the same layout as the binary product? I think the way it is now makes it more confusing at first glance. It would be relatively simple to fix: swap the X and the Y and then rotate the graph around the vertical axis. —Preceding unsigned comment added by 86.173.27.82 (talk) 18:43, 1 April 2011 (UTC)
