cartesian closed pre-order

a preorder (i.e. zero or one arrows between objects), with:

• binary products (which we write as $A\wedge B$)
• binary coproducts (which we write $A\vee B$)
• exponential objects (which we rate $A\to B$)
• a least element $\perp$
• a greatest element $\top$