Approximation in quantale-enriched categories

Details Approximation in quantale-enriched categories Approximation in quantale-enriched categories

2010-04-13

arxiv.org/abs/1004.2228v1

Mathematics

Category Theory

17 pages

Scientific paper

Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of V- and (U,V)-categories. We fully characterize continuous V-categories (resp. (U,V)-categories) among all cocomplete V-categories (resp. (U,V)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale V and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.

Affiliated with

Also associated with

No associations

Rating

Approximation in quantale-enriched categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Approximation in quantale-enriched categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Approximation in quantale-enriched categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-282767