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