阿贝尔范畴中的Yoneda Ext与任意余积

在具有充足投射与充足内射的Ab4和Ab4*阿贝尔范畴中，存在涉及Ext双函子、余积和积的著名同构。即对此类范畴$\mathcal{A}$，同构$\operatorname{Ext}^n (\bigoplus_{i\in I}A_{i},X) \cong \prod_{i\in I} \operatorname{Ext}^n(A_{i},X)$与$\operatorname{Ext}^n (X,\prod_{i\in I}A_{i}) \cong \prod_{i\in I}\operatorname{Ext}^n (X,A_{i})$总成立。本文目标是在未必具有充足投射或内射的Ab4和Ab4*阿贝尔范畴中，展示Yoneda Ext的类似同构。所期望的同构通过极限与余极限被显式构造。