Skip to main navigation Skip to search Skip to main content

Uniqueness of completion for metrically generated constructs

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)

    Abstract

    In this paper, for metrically generated constructs
    $\X$ in the sense of \cite{mgt} we study
    completion as a $\U$-reflector $R$ on the
    subconstruct $\X_0$ of all $T_0$-objects, for $\U$
    some class of embeddings. Roughly speaking we
    deal with constructs $\X$ that are generated by
    the subclass of their metrizable objects and for
    various types of completion functors $R$
    available in that context, we obtain an internal
    descriptions of the largest class $\U$ for which
    completion is unique.
    We apply our results to some well known
    situations. Completion of uniform spaces, of
    proximity spaces or of non-Archimedean uniform
    spaces is unique with respect to the class of all
    epimorphic embeddings, and this class is the
    largest one. However the largest class of
    morphisms for which Dieudonn\'e completion of
    completely regular spaces or of zero dimensional
    spaces is unique, is strictly smaller than the
    class of all epimorphic embeddings. The same is
    true for completion in quantitative theories like
    uniform approach spaces for which the largest
    $\U$ coincides with the class of all embeddings
    that are dense with respect to the metric
    coreflection. Our results on completion for
    metrically generated constructs explain these
    differences.}
    Original languageEnglish
    Pages (from-to)39-55
    Number of pages16
    JournalTopology and its Applications
    Volume155
    Publication statusPublished - 2007

    Keywords

    • uniqueness of completion
    • firm
    • reflection
    • completion
    • metrically generated

    Fingerprint

    Dive into the research topics of 'Uniqueness of completion for metrically generated constructs'. Together they form a unique fingerprint.

    Cite this