For any category from universal algebra we have “forgetful” functors. ... functor, Hom(A, ) : C → Sets, defined by Hom(A, )(B) = Hom(A, B) for all.
確定! 回上一頁