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)
Top Related