×

Notes on an extension of the structure of frame. (English) Zbl 0759.06011

A frame is a complete lattice satisfying the distributivity law \((\bigvee a_ i)\land b=\bigvee(a_ i\land b)\); frame homomorphisms preserve finite meets and all joins. An extended frame (\(E\)-frame) \((A,\cdot)\) is a frame together with a binary operation \(\cdot\) satisfying the rules: (1) \(x\land y\leq x\cdot y\), (2) \((x\land y)\cdot 1=(x\cdot 1)\land (y\cdot 1)\), (3) \((x\land y)\cdot 1=0\Rightarrow x\cdot y=0\), (4) \((x\cdot y)\cdot 1=x\cdot(y\cdot 1)\), (5) \(x\cdot(\bigvee y_ i)=\bigvee(x\cdot y_ i)\), (6) \((\bigvee x_ i)\cdot(y\cdot1)=(\bigvee (x_ i\cdot y))\cdot 1\). An \(E\)-frame homomorphism \(f: (A,\cdot)\to(B,\cdot)\) is a frame homomorphism \(f: A\to B\) satisfying \(f(a)\cdot 1=f(a\cdot 1)\) and \(f(a)\cdot f(b)\leq f(a\cdot b)\). The corresponding categories are denoted by Frm resp. EFrm. If we denote by \(U: \text{EFrm}\to \text{Frm}\) the natural forgetful functor, a natural construction is shown to yield an adjoint for \(U\); a characterization of the extended frames thus obtained is given.

MSC:

06D20 Heyting algebras (lattice-theoretic aspects)
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
Full Text: DOI

References:

[1] Banaschewski, B.; Mulvey, C. J., Stone-Čech compactification of locales, I. Houston J. Math., 6, 301-312 (1980) · Zbl 0473.54026
[2] Johnstone, P. T., Stone Spaces (1982), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 0499.54001
[3] Joyal, A.; Tierney, M., An extension of the Galois theory of Grothendieck, Mem. AMS, 51, 309 (Sept. 1958)
[4] Kříž, I.; Pultr, A., Systems of covers of frames and resulting subframes, Proc. 14th Winter School, 14, 353-364 (1987), Suppl. Rend. Circ. Mat. Palermo, Ser. II · Zbl 0635.54001
[5] MacLane, S., Categories for the Working Mathematician, (Graduate Texts in Math., Vol. 5 (1971), Springer: Springer Berlin) · Zbl 0705.18001
[6] Pultr, A., Pointless uniformities I, II, Comment. Math. Univ. Carolinae, 25, 1, 105-120 (1984) · Zbl 0543.54023
[7] Pultr, A., Categories of diametric frames, Math. Proc. Cambridge Philos. Soc., 105, 285-297 (1989) · Zbl 0683.54008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.