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

Also see book Def. 1.74.

References made to earlier posts: [Monotone maps](https://forum.azimuthproject.org/discussion/2185/petepics-chapter-1-monotone-maps).