Functor 也應該符合單位元與結合律這兩個特性,對於原本的Category 來說是Identity function 的話,經過functor 的轉換,在另一個Category 也應該要是identity function , ...
確定! 回上一頁