Author: Urs Format: MarkdownItexadded example of uniform Cauchy sequences of (continuous) functions with values in a complete metric space: [here](https://ncatlab.org/nlab/show/uniform+convergence#FunctionsUniformCauchySequence)
(possibly this is already, in more generality, in some other entry?)
added example of uniform Cauchy sequences of (continuous) functions with values in a complete metric space: here
(possibly this is already, in more generality, in some other entry?)