Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.