direct product of different algebras?

188 Views Asked by At

Is it possible to define a "direct product" of two algebras with different signatures? For example, boolean lattice $\otimes$ monoid? Perhaps we need to take some quotient to make sense of it (e.g Q is direct product of two groups with standard congruence)?