1 paper · 1 filter
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…