科研之友
微信
新浪微博
Facebook
分享链接
摘要
We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated classJ 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.
- 出版日期2012-8
