Why is the pullback not just defined as in the case of the category of sets http://en.wikipedia.org/wiki/Pullback_%28category_theory%29
Perhaps there are some issues with categories that are not small, but what about small categories? My first thought was: perhaps all small categories do not have products. Do they? If not, why doesn't the cartesian product just do the trick?