A duality of quantale-enriched categories
Copyright policy )A duality of quantale-enriched categories
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.
16 pages
- University of Aveiro (UAVR) Portugal
- Jagiellonian University Poland
- University of Aveiro Portugal
- University of Aveiro Portugal
- UNIVERSIDADE DE AVEIRO Portugal
quantales, Algebra and Number Theory, Complete distributivity, Semantics in the theory of computing, Mathematics - Category Theory, continuous dcpo, Lawson duality, Enriched categories (over closed or monoidal categories), Continuous lattices and posets, applications, Quantales, FOS: Mathematics, Category Theory (math.CT), quantale-enriched categories
quantales, Algebra and Number Theory, Complete distributivity, Semantics in the theory of computing, Mathematics - Category Theory, continuous dcpo, Lawson duality, Enriched categories (over closed or monoidal categories), Continuous lattices and posets, applications, Quantales, FOS: Mathematics, Category Theory (math.CT), quantale-enriched categories
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).12 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!