Initially dense objects for metrically generated theories
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\).
- Metrically generated theories
- Towards a reconstruction of general bulk metrics
- Conformally non-flat spacetime representing dense compact objects
- Local metrically generated theories
- Bornologies and metrically generated theories
- The origin of structures in generalized gravity
- Metric Baumgartner theorems and universality
- Cosmology via Metric-Independent Volume-Form Dynamics
- Induced matter theory and embeddings in Riemann flat space–times
- An effective theory of metrics with maximal proper acceleration
- Epimorphisms and cowellpoweredness for separated metrically generated theories
- Exponential objects and Cartesian closedness in the construct \textit{Prtop}
- scientific article; zbMATH DE number 4158913 (Why is no real title available?)
- scientific article; zbMATH DE number 5566518 (Why is no real title available?)
- scientific article; zbMATH DE number 4081795 (Why is no real title available?)
- Metrically generated theories
- POWERS AND EXPONENTIAL OBJECTS IN INITIALLY STRUCTURED CATEGORIES AND APPLICATIONS TO CATEGORIES OF LIMIT SPACES
This page was built for publication: Initially dense objects for metrically generated theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390512)
