Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4596439 | Journal of Pure and Applied Algebra | 2012 | 13 Pages |
Abstract
We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J-cocomplete and J-continuous quantale-enriched categories is self-dual.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory