大家好
我数学X5
国中数学好像学过
在范畴里若对象I使得Hom(-,I)为正和函子，则称为内射对象，
刚刚看了一下上同调函数的建构，
https://i.imgur.com/9PlMVH9.jpg
它好像只说等价于Z[G]-模范畴就能有充足的内射对象。
为什么这么容易就能看出一个东西有没有内射对象?
难道有什么诀窍吗? 有没有挂?