Bimonoids. Let us go back to the ideas that led to the denition of a monoid, but make a small change. Suppose that X and Y are two mathematical objects of the same sort (two sets, two rings, etc.), and we consider the family of all homomorphisms among them. What structure does this system have?