Added Kmett's recommendations for category theory