Abstract
This survey paper, specifically targeted at a readership of fuzzy logicians and fuzzy set theorists, aims to provide a gentle introduction to the basic notions of quantaloid-enriched category theory. We discuss at length the definitions of quantaloid, quantaloid-enriched category, distributor and functor, always giving several examples that – hopefully – appeal to the intended readership. To indicate the strength of this general theory, we explain in considerable detail how (co)limits are dealt with, and particularly how the Yoneda embedding of a quantaloid-enriched category in its free (co)completion comes to be. Our insistence on quantaloid-enrichment (rather than quantale-enrichment) is duly explained by examples requiring a notion of “partial elements” (sheaves, partial metric spaces). A final section glosses over some further topics, providing ample references for the interested reader.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: 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.
