text: Если существует моноидальный функтор из M {\displaystyle {\mathcal {M}}} в N {\displaystyle {\mathcal {N}}} , то любую категорию, обогащённую над M {\displaystyle {\mathcal {M}}} , можно рассматривать как категорию, обогащённую над N {\displaystyle {\mathcal {N}}} .