Implication Details

Assumptions: complete, essentially small, infinitary distributive, thin

Conclusions: cartesian closed

Reason: This is an application of the adjoint functor theorem. Specifically, if PP is a complete lattice in which sup⁡iinf⁡(t,xi)=inf⁡(t,sup⁡iyi)\sup_i \inf(t,x_i) = \inf(t, \sup_i y_i) always holds, then the functor ∫(t,−)\int(t,-) is a left adjoint because it preserves all suprema.