-
範疇生成子
鎖定
範疇生成子
[1]
(generator of a category)範疇的一個特殊對象.範疇0中使Homc (A,一)為忠實函子的對象A稱為它的一個生成子.換句話説,對任意的留中對象X,Y,若關EHom.,-(X,Y),i=1,2,且f,並f2,則必有g Homc (A , X)使f=g,這時就稱A為留的一個生成子.對偶地可定義上生成子的概念,即子中使Homc(一,A)為忠實函子(即對上述的.f .fz),必有g E Hom. (Y, A)使0f=0對象A稱為它的一個上生成子.A為留的上生成子等價於A為若的對偶範疇子的生成子.
- 參考資料
-