Exercise 5.1.3. Let \(F\colon C \to D\) be a functor preserving finite products. Show that \(F\) induces a functor \(\Mon (C) \to \Mon (D)\).

Generated from the authoritative LaTeX source.