2 papers
math.CT2023
Ideals and continuity for quantaloid-enriched categories
Min Liu, Shengwei Han, Isar Stubbe
We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for an…
math.CT2022
Quantaloidal Completions of Order-enriched Categories and Their Applications
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 categori…