1 / 24

Algebraic Cantor-Bernstein-Schröder Theorem Hector Freytes Università Degli Studi di Cagliari

Algebraic Cantor-Bernstein-Schröder Theorem Hector Freytes Università Degli Studi di Cagliari. Cantor-Bernstein-Schröder presheaves. Let L be a bounded lattices and z  Z ( L ) then we have that:. Example. Factor congruences CBS-presheaves. CBS-THEOREM. Example.

dillian
Download Presentation

Algebraic Cantor-Bernstein-Schröder Theorem Hector Freytes Università Degli Studi di Cagliari

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Algebraic Cantor-Bernstein-Schröder TheoremHector FreytesUniversità Degli Studi di Cagliari

  2. Cantor-Bernstein-Schröder presheaves Let L be a bounded lattices and z  Z(L) then we have that:

  3. Example

  4. Factor congruences CBS-presheaves

  5. CBS-THEOREM

  6. Example Commutative pseudo BCK-algebras

  7. Boolean CBS-presheaf. The operator FR

  8. New examples

  9. Internal Boolean CBS-presheaves

  10. Examples (operator FR)

More Related