论文标题
富订单的类别及其应用的量化完成
Quantaloidal Completions of Order-enriched Categories and Their Applications
论文作者
论文摘要
通过介绍富含订单的类别的量化完成的概念，研究了量化类别与依赖订单的类别的类别之间的关系。事实证明，富含订单的类别的量化完成量可以完全表征为功率集完成的兼容商。作为应用程序，我们表明，富有订单的类别的一种特殊类型的注射式船体是MacNeille的完成。富含订单的类别的自由量化是下集的完成。
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.
