This category has vector spaces over k as objects, and k-linear maps between these as morphisms. Multisorted notion. Alternatively, one ...
確定! 回上一頁