Galois connections

This week we will:

• talk about Galois connections (GC),
• prove adjoint functor theorem for posets (one part of a GC determines the other),
• show the relationship between (upper) closure operators and Galois connections,

hence finish the first chapter of Fong & Spivak.