Cartesian closed exact completions in topology (Q2318408)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cartesian closed exact completions in topology
scientific article

    Statements

    Cartesian closed exact completions in topology (English)
    0 references
    0 references
    0 references
    15 August 2019
    0 references
    \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.
    0 references
    quantale
    0 references
    enriched category
    0 references
    (probabilistic) metric space
    0 references
    exponentiation
    0 references
    (weakly) Cartesian closed category
    0 references
    exact completion
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references