Cartesian closed category of rectangular bands

ID: cartesian-closed-category-of-rectangular-bands

The category of rectangular bands is Cartesian closed. For nonempty products , , the exponential is . Also and for nonempty . It has no subobject classifier: the classifier would have two elements, hence would be left-zero or right-zero, while its characteristic maps on a two-by-two product could not single out a one-point subalgebra.

New to topics? Read the docs here!