is a functor, contravariant in the first slot and covariant in the second. Not only do hom-functors exist for all locally small categories, but ...
確定! 回上一頁