8 数,量,位のカテゴリー
8.0 イントロ
8.1 比例関数
8.1.0 イントロ
8.1.1 比例関数
8.1.2 “数の拡張”と比例関数
8.2 量測定
8.2.0 イントロ
8.2.1 量測定，単位
8.2.2 位測定
8.3 比例関数の表現──“比例定数”
8.4 数,量,位のカテゴリー
8.4.1 数,量,位のカテゴリー
8.4.2 〈比例関係の数計算〉に対する“関手”の解釈
8.4.3 〈単位系の取り直し〉に対する“自然変換”の解釈
8.4.4 〈比例関係／単位の取り直し〉の数計算の図式