https://filesoo.com/product/3766/a-categorical-primer