Transcribed image text: hom functor ut it be any category and B be a category of sets Fix A E obj (A) Define h A B as a is for any A- object x, ut ho - Hom (A x) ...
確定! 回上一頁