2 problems

Let $R$ and $S$ be rings, let $L$ be a $\times_R$-bialgebra, and let $P$ and $Q$ implement the Morita equivalence between $R$ and $S$. Write…

Let $\mathcal{C}$ be a category equipped with the structure in the source, let $T$ be the associated functor, and let $\eta_{\mathbf{1}}\colon\mathbf{1}\to T(\mathbf{1})$ be the un…