Added pushout-product section

First pass at incorporating the universal property of the
pushout-product note into the thesis.