herding cats: day 17

in

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