category <theory> A category K is a collection of objects, obj(K), and a collection of morphisms (or "arrows"), mor(K) such that 1.
確定! 回上一頁