Abstract
This paper introduces partially ordered Ω-monoidal relation systems on a category C endowed with a closed monoidal structure, and therewith explores a categorical theory of many-valued partial orders in C. For a fixed C-object Ω and a partially ordered Ω-monoidal relation system ϒ on C, the notion of a many-valued preordered (resp. many-valued partially ordered) C-object is formulated as a ϒ-preordered (resp. ϒ-partially ordered) C-object. Furthermore, the category of ϒ-preordered (resp. ϒ-partially ordered) C-objects is constructed and applied to quantale-valued preorders (resp. partial orders) on ordinary sets as well as on L-sets.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.