  Given a monad $T$ on $\mathcal{C}$ and a functor $G \colon \mathcal{C} \to
\mathcal{D}$, one can construct a monad $G_\#T$ on $\mathcal{D}$ subject to the
existence of a certain Kan extension; this is the pushforward of $T$ along $G$.
We develop the general theory of this construction, and relate it to the
concept of codensity monads, showing that each is a special case of the other.
We study several examples of pushforwards, the most notable being that the
pushforward of the powerset monad from finite sets to sets gives the theory of
continuous lattices. We also identify the category of algebras of the codensity
monad of the inclusion of fields into rings, which turns out to be the free
product completion of the category of fields. Lastly, for a set $E$, we
identify the category of algebras of the codensity monad of the $(\cdot) + E$
functor on sets.
