-- The Tensor Product as a Lattice of Regular Galois Connections -- Two Instances of