This talk is an invitation to the algebraic side of category theory. The starting point is the empirical observation that algebraic structures of various sorts are closed under cartesian product. I'll explain how category theory makes this into an abstract result, namely: forgetful functors from monad algebras create binary products.