search term:
clear
herding cats: day 17
Fri, Jan 5, 2018
Wrote
herding cats: day 17
featuring initial and terminal objects, product, duality, and coproduct.