Min Liu ; Yulin Li - Quantaloidal Completions of Order-enriched Categories and Their Applications

entics:10339 - Electronic Notes in Theoretical Informatics and Computer Science, March 21, 2023, Volume 2 - Proceedings of ISDT 9 - https://doi.org/10.46298/entics.10339
Quantaloidal Completions of Order-enriched Categories and Their ApplicationsArticle

Authors: Min Liu ; Yulin Li

    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.


    Volume: Volume 2 - Proceedings of ISDT 9
    Published on: March 21, 2023
    Accepted on: November 22, 2022
    Submitted on: November 22, 2022
    Keywords: Mathematics - Category Theory

    Consultation statistics

    This page has been seen 87 times.
    This article's PDF has been downloaded 66 times.