Author: nLab edit announcer Format: MarkdownItexPage created, but author did not leave any comments.
Anonymous
<a href="https://ncatlab.org/nlab/revision/bicartesian+closed+preordered+object/1">v1</a>, <a href="https://ncatlab.org/nlab/show/bicartesian+closed+preordered+object">current</a>
Page created, but author did not leave any comments.
Author: nLab edit announcer Format: MarkdownItexthe structure of a prelattice object should have a subobject $R \hookrightarrow X \times X$
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/bicartesian+closed+preordered+object/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/bicartesian+closed+preordered+object/3">v3</a>, <a href="https://ncatlab.org/nlab/show/bicartesian+closed+preordered+object">current</a>
the structure of a prelattice object should have a subobject