>>117
“対象”，“射”，“合成”の３つの概念から圏論はスタートするんだよ。