# nLab bicartesian preordered object

Contents

category theory

## Applications

#### Limits and colimits

limits and colimits

(0,1)-category

(0,1)-topos

# Contents

## 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.