內射對象與投射對象

来自testwiki
跳转到导航 跳转到搜索

Template:Unreferenced同調代數中,內射對象投射對象內射模投射模阿貝爾範疇中的推廣,二者的定義相對偶。以下固定一個阿貝爾範疇 𝒞

  • 若對象 P 使得函子 Hom𝒞(P,)正合函子,則稱 P投射對象
  • 若對象 I 使得函子 Hom𝒞(,I)正合函子,則稱 I內射對象

若對每個對象 X 都存在投射對象 P 及滿射 PX,則稱 𝒞 有充足投射元。若對每個對象 X 都存在內射對象 I 及單射 XI,則稱 𝒞 有充足內射元。對於有充足投射元(或內射元)的阿貝爾範疇,可以考慮對象的投射分解(或內射分解)。

Template:Math-stub