herding cats: day 17

Wrote herding cats: day 17 featuring initial and terminal objects, product, duality, and coproduct.