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:

],0[)(]),0([ zLZzZ

Example

Factor congruences CBS-presheaves

CBS-THEOREM

Example

Commutative pseudo BCK-algebras

Boolean CBS-presheaf. The operator FR

New examples

Internal Boolean CBS-presheaves

Examples (operator FR)