Cartesian closed category of posets
= Cartesian closed category of posets
The exponential $B^A$ in the category of posets is the poset of monotone maps $A\to B$ ordered pointwise. Evaluation is monotone, and currying gives the cartesian-closed adjunction.