full subcategory

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

A subcategory \(\mathcal S\) of \(\mathcal A\) is full if \(\mathcal S(A,A')=\mathcal A(A,A')\) for all objects \(A,A'\) of \(\mathcal S\).