Approximation in quantale-enriched categories (Q536049): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 07:55, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximation in quantale-enriched categories |
scientific article |
Statements
Approximation in quantale-enriched categories (English)
0 references
16 May 2011
0 references
This is one of the last few works of Paweł Waszkiewicz before his sudden and most unfortunate demise. It is an excellent exposition of the theory of approximation developed in categories which are quantale-enriched. The article introduces the notions of approximating and Scott-continuous distributors, and way-below distributor of \(\mathcal{Q}\)-categories. The main result is to characterize the continuous \(\mathcal{Q}\)-categories amongst all cocomplete \(\mathcal{Q}\)-categories; which is parallel to the traditional characterization of continuous domains amongst all directed complete partial orders. Because of the freedom to vary the parameter-quantale \(\mathcal{Q}\) and their corresponding notions of ideals, and because of the additional ultra-filter monad action on the quantale, the authors successfully manufacture a very general theory of continuity which unifies those in domain theory (ordered sets and topological spaces) and those in metric spaces. A very beautifully written paper on the currently active research topic of quantitative domain theory!
0 references
quantitative domain theory
0 references
continuous domain
0 references
way-below distributor
0 references
Scott-continuity
0 references
quantale-enriched category
0 references
approximating distributor
0 references
complete distributivity
0 references