\documentclass{article}
\input{packages}
\input{def}

\newcommand{\seq}{\mathop{\bbsemicolon}}

\homework{Security}

\begin{document}
\maketitle

\begin{exercise}
Prove that the 2-category $\cat{MULTICAT}$ is powered.
I am content if you can construct the power multicategory~$\cat{E} \pitchfork \cat{M}$ and the necessary functor $\cat{E} \mto \cat{M}_\cat{MULTICAT}(\cat{E} \pitchfork \cat{M}, \cat{M})$ and show that any multicategory~$\cat{D}$ with a functor~$\cat{E} \mto \cat{M}_\cat{MULTICAT}(\cat{D}, \cat{M})$ has a 1-cell from $\cat{D}$ to $\cat{E} \pitchfork \cat{M}$.
The remaining requirements need to hold but do not need to be proved.
\end{exercise}

\end{document}