忠実関手

単射な関手

定義

$F:\mathcal{A}\to \mathcal{B}$ は ${}^{\forall }{A}_1,{}^{\forall }{A}_2\in \mathrm{Ob}(\mathcal{A})$ で

$$F:\mathcal{A}(A_1,A_2)\hookrightarrow \mathcal{B}(F(A_1),F(A_2))$$

忠実関手

参考文献

• 『圏論入門 Haskellで計算する具体例から』