1 problem

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…