1: \begin{definition}

2: \label{defLiftOfPseudomonad}

3: Given a polynomial monad (resp.\ pseudomonad) $\mathbb{P}$, the \textbf{lift} of $\mathbb{P}$ is the 2-monad (resp.\ pseudomonad) $\mathbb{P}^+$ as in Theorem \ref{thmPolynomialPseudomonadLifts}.

4: \end{definition}

5: