11.3.0 イントロ
本節では，量(カテゴリー)を一つ固定して考える（“重さ”とか“長さ”とか)。単位に関する本節の議論は，この量に対するものとする。