[Picture index](http://www.azimuthproject.org/azimuth/show/Pete+Morcos)

References to John's lectures: [lecture 4](https://forum.azimuthproject.org/discussion/1828/lecture-4-chapter-1-galois-connections/p1)