Answers for problems on "Categories for the Working Mathematician" by S. Mac Lane
My works of mathematical proof using functional languages