The Hom functor, Hom(--,--), a bifunctor contravariant in its first argument and covariant in its second argument. Associated Types.
確定! 回上一頁