Abstract:This paper is an addendum to the author's previous paper [#Im20a]. Miller et al. [#MSM10] introduced a functor $\sigma\colon\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathbf{pCoarse}$ is the category of pointed coarse spaces and coarse maps. DeLyser et al. [#DLT13] introduced a functor $\varepsilon\colon\mathbf{pCoarse}\to\mathbf{Sets}$, and proved that $\varepsilon$ coincides with $\sigma$ on $\mathbf{pMetr}$ (the full subcategory of metrisable spaces). Using techniques of nonstandard analysis, the author in [#Ima20a] provided a functor $\iota\colon\mathscr{C}\subseteq\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathscr{C}$ is an arbitrary small full subcategory, and a natural transformation $\omega\colon\sigma\restriction\mathscr{C}\Rightarrow\iota$. The surjectivity of $\omega$ has been proved for all proper geodesic metrisable spaces, while the injectivity has remained open. In this note, we first pointed out that $\omega$ is the composition of two natural transformations $\varphi\restriction\mathscr{C}\colon\sigma\restriction\mathscr{C}\Rightarrow\varepsilon\restriction\mathscr{C}$ and $\omega'\colon\varepsilon\restriction\mathscr{C}\Rightarrow\iota$, and then show that $\omega'$ is injective for all spaces in $\mathscr{C}$. As a corollary, $\omega$ is injective for all metrisable spaces in $\mathscr{C}$. This partially answers some of the problems posed in [#Ima20a].

On Postnikov completeness for replete topoi

Choice axioms and Postnikov completeness

$(\infty,2)$-Topoi and descent

Profinite completions of topological operads

Topoi with enough points

A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi

The smashing spectrum of sheaves

Proper morphisms of $\infty$-topoi

On the $\infty$-topos semantics of homotopy type theory

A topological completeness theorem for transfinite provability logic

Group completions and the homotopical monadicity theorem

On $\mathscr{H}$-complete topological semilattices

Coherently complete algebraic stacks in positive characteristic

Sheaves of Higher Categories on Generalised Spaces

Topologization and Functional Analytification III

Sheaves of $(\infty, \infty)$-categories

Sequential ends and nonstandard infinite boundaries of coarse spaces

Free colimit completion in $\infty$-categories

Two-cardinal derived topologies, indescribability and Ramseyness

Completeness Theorems for Kleene algebra with tests and top