Galois connection
偏序集formula_77可以視為特殊的範疇，任意兩件物件之間有最多一支態射，且formula_78到formula_79有態射当且仅当偏序中formula_80。於是，偏序集之間的函子，即是保序映射，而伴隨函子對，則組成兩偏序集間的伽罗瓦连接，相應的單子是伽羅華連接的闭包算子。