Function spaces in metrically generated theories (Q2390514)

Let \(X\) be a topological space, \(Y\) a uniform space, and let \(C(X, Y)\) denote the space of continuous functions from \(X\) into \(Y\) with the uniformity induced by \(Y\). It is well known that if \(Y\) is complete, then so is \(C(X, Y)\). Furthermore, the uniformity on \(Y\) can be defined in terms of a family of pseudometrics on \(Y\). The design of generalizing these ideas in terms of metrically generated theories was first undertaken by \textit{E. Colebunders} and \textit{R. Lowen} [Proc. Am. Math. Soc. 133, No.~5, 1547--1556 (2005; Zbl 1073.54006)]. In the present paper the authors carry forward this programme using the language of functors and category theory. They formulate and prove, among other things, an Ascoli-type theorem for metrically generated constructs.