11.5.0 イントロ
本節でも，引き続き，量(カテゴリー)を一つ固定して考える。単位に関する本節の議論は，この量に対するものとする。