How do you see that this diagram is a pullback square? I am trying to understand why the left-hand square of the diagram below (in a topos) is a pullback,
where $\Delta_B$ is the diagonal map, $\delta_B$ is clearly the characteristic map of $\Delta _B$ and $\langle b,1\rangle$ is the unique map induced by the universal property of the product. Clearly the right-hand square is a pullback by definition, but why is the left one? The author of the book says "the first square is a pullback by inspection". Do I have to check the very definition of a pullback involving the universal property, or is there an easier way to do this?
I have found myself before in similar situations where I have a diagram consisting of commutative squares and need to check if they are pullbacks. I wonder whether it possible to see that you actually have a pullback without a lot of calculations; if there is a general way. I know that if you have two pullbacks then you get another one by putting them together, but I am asking about situations like the above, where you just need to check whether four maps put together in a square actually form a pullback. Thanks for any help.
 A: It may help to see the pullback characterized by generalized elements, to make the argument better resemble the obvious set-theoretic analog. The diagram
$$ \begin{matrix}A &\xrightarrow{f}& B \\ \ \ \downarrow g& & \ \ \downarrow h \\ C &\xrightarrow{i}& D \end{matrix} $$
is a pullback if and only if, for any pair of generalized elements $b \in B$ and $c \in C$ with the same domain satisfying $h(b) = i(c)$, there is an element $a \in A$ (with the same domain) such that $f(a) = b$ and $g(a) = C$.
For the particular case of interest, if we have elements $u,v,w$ such that $(u,v) \in B \times X$ and $w \in B$ such that $(1 \times b)(u,v) = \Delta_B(w)$, then we have $u = w = b(v)$, and obviously $v \in X$ has the desired property.
(if you've never seen generalized elements before, a generalized element of $X$ is simply any arrow with codomain $X$, but used with this modified element-like syntax. e.g. $f(a)$ is the composite $f \circ a$ viewed as a genearlized element of $B$)
A: Is this taken from "Sheaves in Geometry and Logic"? It is easy to check by hand that it is a pullback square, and in my opinion there are no easier ways to do this.
Of course in similar (but different) situations you could have used the associativity of pullbacks, i.e. the property of pasting pullback squares to obtain a pullback in the outer one.
Another related result is the fact that if the outer and the right hand squares are pullbacks then the one on the left is such.
