From: John Silver on
If U and V are open sets (of some topological space X) with morphisms ->
W, then my guess is that the fiber product of f:U-> W and g:V->W is the
subset, G, of the intersection of U and V such that f|G = g|G. Is this
correct?