Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
In a finitely complete category , a cocartesian monoidal preordered object is a preordered object with internal preorder and a monoid object in with multiplication and a global unit , where is the terminal object in , with
a function such that for all global elements , and .
functions
such that for all global elements and , , , , and .
Last revised on May 14, 2022 at 14:31:50. See the history of this page for a list of all contributions to it.