full functor

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

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