1: \begin{definition}\label{internal}

2: Let $(S,\code,\decode)$ be a self-similar structure of a semi-monoidal category $(\C,\otimes,\tau_{\_,\_,\_})$. We refer to the semi-monoidal tensor

3: \[ \_ \otimes_\dc \_ : \C(S,S)\times \C(S,S)\rightarrow \C(S,S) \]

4: given in Theorem \ref{standard} above as the {\bf internalisation of $(\ \otimes \ )$ by $(S,\code ,\decode)$}. We similarly refer to the canonical associativity isomorphism $\tau_\dc\in \C(S,S)$ (resp. symmetry isomorphism $\sigma_\dc \in \C(S,S)$ as the {\bf associativity isomorphism (resp. symmetry isomorphism) induced by $(S,\code ,\decode)$}. 

5: \end{definition}

6: