0MXN Proposition 2.14. The functor โจMโ๐ฏHom๐โก(M,โ):โจ๐ฏโฉโ ,โจญ,โโmodfgpโโกEnd๐โก(๐ฏ)\bigoplus_{M\in\mathcal{T}}\operatorname{Hom}_{\mathcal{C}}(M,-):\langle\mathcal{T}\rangle_{\cong,\inplus,\oplus}\to\operatorname{mod_{fgp}-}\operatorname{End}_{\mathcal{C}}(\mathcal{T}) is an equivalence of categories.