Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
The notion of a lattice object is the generalization of that of lattice as one passes from the ambient category of sets into more general ambient categories with suitable properties.
In a finitely complete category , a lattice object is a bicartesian preordered object that is also a partially ordered object.
Last revised on May 14, 2022 at 14:57:36. See the history of this page for a list of all contributions to it.