An asymmetric characterization of the congruence frame

作者：Frith John^*; Schauerte Anneliese

来源：Topology and Its Applications, 2011, 158(7): 939-944.

DOI：10.1016/j.topol.2011.01.013

• Frame
• Congruence lattice
• Regular biframe
• Skula biframe
• Skula functor
• Strictly zero-dimensional
• Regular biframe extension
• Quasi-uniform frame
• Pseudosection

The functor from regular biframes to frames, taking first parts, is shown to be faithful. This result is used to provide many examples of identical embeddings which are epimorphisms in the category of frames. Then the congruence frame, regarded as a biframe, is characterized as being the unique regular biframe extension. This provides a pointfree analogue to a result of Salbany (1970, 1974 [16]) that the forgetful functor from completely regular bitopological spaces to all topological spaces, taking first parts, has a unique section.

• 出版日期2011-4-15