917826.fig.012a
(a)
917826.fig.012b
(b)
Figure 12: Two categorical constructors: (a) pushout, (b) pullback.