Pullback (Category Theory)

In category theory, pullbacks are the dual notion of pushouts. Formally, pullbacks are a limit of a diagram of the form:

$$\text{require}AMScd\begin{array}{ccc}& & B\\ & & g\downarrow \\ A& \stackrel{f}{\to }& C\end{array}$$

TODO: Fix this diagram.