たくさん、少し、少ない （個数） 長い、短い （長さ） 大きい、小さい （体積、面積などの測度） 広い、狭い （体積、面積） 重い、軽い （重量、比重、密度） 速い、遅い （速度） 濃い、薄い （濃度） 甘い、無味 （砂糖の濃度） 高い、安い （価格） 長…

isar-ref "2.2.1 Context elements"

モノイド圏の一貫性は難しい。定理の記述も色々ある。http://ocw.mit.edu/courses/mathematics/18-769-topics-in-lie-theory-tensor-categories-spring-2009/lecture-notes/MIT18_769S09_lec03.pdf にある次の形が使いやすいように思う。 Let X1, ..., Xn ∈ …