6

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.

John F. Miller
  • 26,961
  • 10
  • 71
  • 121
  • 3
    If you reword this question to ask what the origin or meaning of the vocabulary is it won't be confused as asking for an off-site resource. – Cirdec Sep 30 '15 at 23:04
  • 1
    I always liked Bartosz's series, http://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ – Justin L. Oct 01 '15 at 05:13
  • 1
    I found the lecture notes of ["Category theory for the Sciences" on MIT OCW](http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/) very useful. The (by now slightly renewed) textbook is also available in print with exercise solutions. – Sam van Herwaarden Oct 01 '15 at 08:01

1 Answers1

7

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.

Rein Henrichs
  • 15,437
  • 1
  • 45
  • 55
  • 1
    They're a bit more advanced (relative to *Conceptual Mathematics*), but the [Catsters videos](https://byorgey.wordpress.com/catsters-guide-2/#introduction) can make a nice addition to *Conceptual Mathematics* and *Category Theory*. – David Young Oct 01 '15 at 00:27
  • 2
    The Catsters videos are great! – Rein Henrichs Oct 01 '15 at 00:28
  • Definitely agreed! I've been reading Dr. Cheng's latest book (*How to Bake π*) and, even though it is written for a primarily non-mathematical audience, it does talk about some general ideas and terminology of category theory (along with some nice baking recipes) written in her entertaining, enthusiastic style. That could be another potential resource to get some ideas about the categorical way of looking at things and some categorical topics, but it is a bit less on the technical side. Also it has, in my opinion, a very effective and clear defense of (applied and pure) mathematics. – David Young Oct 01 '15 at 00:38
  • @DavidYoung Her book on n-categories is also great. – Rein Henrichs Oct 01 '15 at 02:37