定義 (quiver) とを共にclassとする。 また、に対し、 定義から明らかに、 が成り立つ。 定義 (deductive system) が文脈から明らかな時、をのように省略して書く。の時、定義から だが、これは1-point ruleによって と同値。 定義 (category) 定義 (small c…