- Every pos can be viewed as a #category in a natural way: there is a unique #morphism from x to y if and only if x ≤ y. A monotone #Galois connection is then nothing but a pair of adjoint #functors between two categories that arise from partially ordered sets.