A resource that explains the vocabulary used in Edward Kemt's lens package

Question

I am trying to read the documentation in Edward Kmett Lens . I am not familiar with the large number of terms used (profunitor, isomorphism, monomorphic, contravariant, bifuntor, etc.)

Which will be a good resource for learning some of this dictionary, as it is used in this library.

Answer 1

These are terms from category theory . As for resources, Ed has a few suggestions . Personally, I reinforced his recommendations of Conceptual Mathematics from Lawvere and Awodey Category Theory .