Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\) (Q2487465)

Let \(\kappa\) be a regular infinite cardinal. A lattice \(L\) with joins of all \(\kappa\)-sets (i.e. subsets of cardinality less than \(\kappa\)) such that joins of \(\kappa\)-sets and meets are distributive is called a \(\kappa\)-frame. A function \(d\) from \(L\) into the positive reals is called a metric diameter if it satisfies 1) \(d(a\vee b)\leq d(a)+d(b)\) for all \(a,b\in L\) with \(a\wedge b\neq 0\); 2) for every \(\varepsilon >0\) there exists a \(\kappa\)-subset \(S\) of \(\{x\in L\mid d(x)<\varepsilon \}\) with \(\bigvee S=1\); 3) for every \(a\in L\), every \(\lambda <d(a)\) and every \(\varepsilon >0\) there exist \(b,c\in \{x\in L\mid d(x)<\varepsilon\), \(x<a\}\) with \(d(b\vee c)>\lambda\); 4) for all \(a\in L\) there exists a \(\kappa\)-subset \(T\) of \(\{y\in L\mid\exists\,\varepsilon >0\,\{b\in L\mid d(b)<\varepsilon\), \(b\wedge y\neq 0\}\subseteq \{x\in L\mid x<a\}\}\) with \(\bigvee T=a\). A pair \((L,d)\) where \(L\) is a \(\kappa\)-frame and \(d\) is a metric diameter of \(L\) is called a metric \(\kappa\)-frame. If \(L\) and \(M\) are \(\kappa\)-frames then a lattice homomorphism \(f:\to M\) preserving all joins of \(\kappa\)-sets is called a \(\kappa\)-frame map. If \((L,d)\) and \((M,d)\) are metric \(\kappa\)-frames then a \(\kappa\)-frame map \(f:L\to M\) is called a uniform \(\kappa\)-frame map if for every \(\varepsilon >0\) there exists \(\lambda >0\) such that for every \(a\in M\) with \(d(a)<\varepsilon\) there exists \(b\in L\) with \(d(b)<\lambda\) and \(a< f(b)\). If, moreover, \(\varepsilon =\lambda\) then we say that \(f\) is a contraction. Clearly, \(\kappa\)-frames with \(\kappa\)-frame maps form a category -- it is denoted by \(\kappa \mathbf F\mathbf r\mathbf m\); metric \(\kappa\)-frames and uniform \( \kappa\)-frame maps form a category -- it is denoted by \(\mathbf M\kappa \mathbf F\mathbf r \mathbf m\); and metric \(\kappa\)-frames and contractions form also a category -- it is denoted by \(\mathbf M_c\kappa \mathbf F\mathbf r\mathbf m\). Constructions of coproducts in the categories \(\kappa \mathbf F\mathbf r\mathbf m\), \(\mathbf M\kappa \mathbf F\mathbf r\mathbf m\) and \(\mathbf M_c\kappa \mathbf F\mathbf r\mathbf m\) are presented. In particular, for a coproduct of metric \(\kappa\)-frames in the category \(\kappa \mathbf F\mathbf r\mathbf m\) there exists a natural metric diameter such that jointly with a coproduct in \(\kappa \mathbf F\mathbf r\mathbf m\) it is a coproduct in \(\mathbf M\kappa \mathbf F\mathbf r\mathbf m\) and in \(\mathbf M \kappa \mathbf F\mathbf r\mathbf m\).