Initially dense objects for metrically generated theories (Q2390512): Difference between revisions

Given a topological construct \({\mathbf X}\), an object \(Y\in{\mathbf X}\) is said to be initially dense in \({\mathbf X}\) if its bireflective hull is \({\mathbf X}\). In this paper \({\mathcal C}\)-metrically generated topological constructs in the sense of \textit{E. Colebunders} and \textit{R. Lowen} [Proc. Am. Math. Soc. 133, No.~5, 1547--1556 (2005; Zbl 1073.54006)] are considered. They are obtained as follows. Start with the topological construct \({\mathbf M}{\mathbf e}{\mathbf t}\) of all quasi-pre-metric spaces and contractions, where a function \(d: X\times X\to[0,\infty]\) is called a quasi-pre-metric if it is zero on the diagonal, and a mapping \(f: (X,d)\to (X', d')\) is a contraction if \(d'\circ f\times f\leq d\). For every full and isomorphism-closed subconstruct \({\mathcal C}\) of \({\mathbf M}{\mathbf e}{\mathbf t}\) which is closed with respect to initial morphisms and contains all \({\mathbf M}{\mathbf e}{\mathbf t}\)-indiscrete spaces there is an associated construct \({\mathbf M}^{{\mathcal C}}\) consisting of so-called metered spaces with meters having a basis consisting of \({\mathcal C}\)-metrics. Every so-called expander \(\xi\) on \({\mathbf M}^{{\mathcal C}}\) leads to a full concrete coreflective subconstruct \({\mathbf M}^{{\mathcal C}}_\xi\) of \({\mathbf M}^{{\mathcal C}}\). These topological constructs \({\mathbf M}^{{\mathcal C}}_\xi\) are representative in the sense that every \({\mathcal C}\)-metrically generated topological construct is isomorphic to \({\mathbf M}^{{\mathcal C}}_\xi\) for some expander \(\xi\) on \({\mathbf M}^{{\mathcal C}}\). For \({\mathcal C}=\) {quasi-metric spaces}, \({\mathcal C}=\) {totally bounded quasi-metric spaces}, \({\mathcal C}=\) {metric spaces}, \({\mathcal C}=\) {totally bounded metric spaces}, and for certain expanders \(\xi\), objects are constructed which are initially dense in \({\mathbf M}^{{\mathcal C}}_\xi\).