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.
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.