Talk:Pullback (category theory)
some weaknesses in this article
"Thus, the pullback can be thought of as the ordinary (Cartesian) product, but with additional structure." This sentence seems plain wrong. The pullback is generally not set-isomorphic to the cartesian product, except if f and g are both constant maps that map to the same point in Z. Maybe what's meant is that pullback is isomorphic to some SUBSET of X x Y? The article does not mention important special cases, like Z = Y and g = id_Y, which is what an SQL programmers may call an (inner) "join of X and Y on the foreign key f". — Preceding unsigned comment added by 22.214.171.124 (talk) 22:03, 16 January 2014 (UTC)
I'm not sure what the picture is supposed to illustrate (and I partially understand pullbacks), and it is not mentioned/explained in the text. I move to have it stricken? 126.96.36.199 (talk) 00:59, 31 March 2008 (UTC)
The picture under the "Universal Property" heading? That picture says it all! In category theory, many concepts are easier to introduce by supplying a commutative diagram rather than a slough of symbols embedded in a cryptic sentence. I do not second the motion. —Preceding unsigned comment added by 188.8.131.52 (talk) 03:45, 4 October 2010 (UTC)
Merge with Product (category theory)?
- No. You can use a pullback as the diagram in a limit, but for the product, here, the diagram has no morpisms. That is, the pullback has a morphism between the objects in the index set. The product has no morphisms between the objects in the index. If you applied the notion of forgetfull-ness to the pullback, you'd get the product. Subtle but important difference.
- I just added the simplest possible paragraph I could think of, explaining this, to this article. I guess I should also talk about limits. linas (talk) 14:33, 13 August 2012 (UTC)