Cartesian closed exact completions in topology (Q2318408)

\textit{J. Rosický} [J. Pure Appl. Algebra 142, No. 3, 261--270 (1999; Zbl 0937.18003)], showed that \(\mathbf{Top}\) is weakly cartesian closed and hence that its exact completion is cartesian closed. In this paper, the authors show that Rosický's method can be applied to a much wider range of topological categories over \(\mathbf{Set}\). These include categories of metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces and bitopological spaces. The method used involves the development of the theory of \((\mathbb{T},V)\)-categories, where \(V\) is a quantale, and \(\mathbb{T}\) is a \(\mathbf{Set}\)-monad, laxly extended to \(V\!-\!\mathbf{Rel}\). It is shown that, under some conditions, the category of such \((\mathbb{T},V)\)-categories is weakly closed and thus allows the application of Rosický's result. This result encompasses several important examples, which are examined in more detail in the last section of the paper.