ガロア接続について

ガロア接続とは圏論的には単なるPosetの随伴の事なのですが、数学のいろいろなところで現れます。また随伴に親しむのにいい例にもなっています。下のpdfは1年ほど前に発表する機会を頂いた時のスライドです。（ほんとうは記事の形にして載せた方がいいと思うのですが。）