(category theory) A structure-preserving mapping between categories: if F is a functor from category C to category D, then F maps objects of C to objects of ...
確定! 回上一頁