faithful functor

《Basic Category Theory》 · 第 25 页 · Definition 1.2.16

A functor \(F:\mathcal A\to\mathcal B\) is faithful if \(\mathcal A(A,A')\to\mathcal B(F(A),F(A'))\) is injective for every \(A,A'\).