忠実関手と充満関手
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/09 00:06 UTC 版)
C の任意の対象 X, Y について F: HomC(X, Y) → HomD(FX, FY); f → F(f) が単射のとき F は忠実であるといい、この対応が全射のとき F は充満であるという。
※この「忠実関手と充満関手」の解説は、「関手」の解説の一部です。
「忠実関手と充満関手」を含む「関手」の記事については、「関手」の概要を参照ください。
- 忠実関手と充満関手のページへのリンク