Galois connections and isomorphism of simultaneous ordered relations (2211.06388v2)
Abstract: In order theory, partially ordered sets are only equipped with one relation which decides the entire structure/Hasse diagram of the set. In this paper, we have presented how partially ordered sets can be studied under simultaneous partially ordered relations which we have called binary posets. The paper is motivated by the problem of operating a set simultaneously under two distinct partially ordered relations. It has been shown that binary posets follow the duality principle just like posets do. Within this framework, some new definitions concerning maximal and minimal elements are also presented. Furthermore, some theorems on order isomorphism and Galois connections are derived.
Sponsored by Paperpile, the PDF & BibTeX manager trusted by top AI labs.
Get 30 days freePaper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.