Approximation in quantale-enriched categories (Q536049): Difference between revisions

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!