nLab
bicartesian preordered object

Contents

Context

Relations

Category theory

Limits and colimits

(0,1)(0,1)-Category theory

Contents

Definition

In a finitely complete category CC, a bicartesian preordered object or prelattice object is a preordered object XX that is both a cartesian monoidal preordered object and a cocartesian monoidal preordered object.

See also

Last revised on May 14, 2022 at 10:35:32. See the history of this page for a list of all contributions to it.