Quantaloidal Completions of Order-enriched Categories and Their Applications

DOI10.46298/ENTICS.10339arXiv2211.10932MaRDI QIDQ6417845FDOQ6417845

Publication date: 20 November 2022

Abstract: By introducing the concept of quantaloidal completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloidal completions for an order-enriched category can be fully characterized as compatible quotients of the power-set completion. As applications, we show that a special type of injective hull of an order-enriched category is the MacNeille completion; the free quantaloid over an order-enriched category is the Down-set completion.

This page was built for publication: Quantaloidal Completions of Order-enriched Categories and Their Applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6417845)