1 problem

Let $\mathcal{C}$ be a category, and let $S(n)$ and $I(n+1)$ denote the objects occurring in the maps $s^n:*\rightarrow S(n)\otimes I(n+1)$. Let…