1 problem

Naturality and decomposability conjectures. The chain maps $\kappa_X$ and $\eta_X$ are natural, namely, they commute with all 2-morphisms of $\dot{\mathcal{U}}$. Moreover, for…