複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/包含函子/18909185
複製
複製成功

包含函子

鎖定
包含函子是範疇論中一種特殊的函子。
中文名
包含函子
外文名
inclusion functor
所屬學科
範疇論

目錄

  1. 1 簡介
  2. 2 定義
  3. 3 性質

包含函子簡介

包含函子 [1]  (inclusion functor)為包含映射的推廣。

包含函子定義

若S為範疇C的子範疇，則將S中所有對象與態射打到C中S本身為函子，稱為包含函子。 [2] 

包含函子性質

包含函子為忠實函子。 [2] 
參考資料
  • 1.    數學辭海第二卷
  • 2.    Saunders Mac Lane．數學工作者必知的範疇學 第2版：Springer，1978