An asymmetric characterization of the congruence frame (Q536047)

From MaRDI portal





scientific article; zbMATH DE number 5888198
Language Label Description Also known as
default for all languages
No label defined
    English
    An asymmetric characterization of the congruence frame
    scientific article; zbMATH DE number 5888198

      Statements

      An asymmetric characterization of the congruence frame (English)
      0 references
      16 May 2011
      0 references
      From the abstract: ``The functor from regular biframes to frames, taking first parts, is shown to be faithful.'' Then the notion of regular biframe extension of frames is introduced, and it is proved that the congruence frame of a frame \(L\), viewed as a biframe (the Skula biframe), is the unique regular biframe extension of \(L\). ``This provides a pointfree analogue to a result of Salbany stating that the forgetful functor from completely regular bitopological spaces to topological spaces, taking first parts, has a unique section.''
      0 references
      0 references
      frame
      0 references
      congruence lattice
      0 references
      regular biframe
      0 references
      Skula biframe
      0 references
      regular biframe extension
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references