2つの関手の随伴性、2つのベクトル空間の双対性、2つの単調写像からなるガロア接続（Galois connections）は、同じ定式化が出来る3つの事例です。それぞれの舞台とセッティングは異なりますが、次のような対応関係があります。 関手の随伴性 ベクトル空間の…