余象
- coim f = A/ker f
- f: A → B
更一般地,在范畴论,态射的余象是态射的像的对偶表示。如果f : X → Y,则f的余象(如果存在的话)是满同态 c : X → C使得
- 存在映射fc : C → Y满足f = fcc,
- 对于任何满同态z : X → Z满足存在映射fz : Z → Y且f = fzz,存在唯一的映射π : Z → C使得c = πz且fz = fcπ。
参加
参考文献
Mitchell,Barry (1965),Theory of categories,Pure and applied mathematics,17,Academic Press,ISBN 978-0-124-99250-4,MR0202787
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.