A functor is faithful iff it is injective on hom-sets (“it does not collapse morphisms”). * A functor is full iff it is surjective on hom-sets.
確定! 回上一頁