YSITD_TG_Bot1 says to #ysitd <koru1130>: @zypeh 假設我定義函數 f(x) = x+1 範疇內有 {1,2,3} 那態射有 1->2跟2->3 這樣算兩個不一樣的態射還一樣的