nLab bicartesian preordered object

Definition

In a finitely complete category $C$, a bicartesian preordered object or prelattice object is a preordered object $X$ that is both a cartesian monoidal preordered object and a cocartesian monoidal preordered object.

See also

• cartesian monoidal preordered object

• cocartesian monoidal preordered object

• bicartesian closed preordered object

• lattice object

• bicartesian category