resource that explains vocabulary used in Edward Kmett's lens package

Question

I am trying to read the documentation in Edward Kmett's Lens package. I am not familiar with a lot of the terms used (profunctor, isomorphism, monomorphic, contravariant, bifunctor, etc...)

What would be a good resource to go to learn some of this vocabulary as it is used in this library.

Answer 1

These are terms from category theory. As for resources, Ed himself has some suggestions. Personally, I second his recommendations of Conceptual Mathematics by Lawvere and Awodey's Category Theory.