This functor is faithful, and fully faithful if the category D is connexe (i.e. any two objects of D can be connected by a sequence of morphisms,.
確定! 回上一頁