を index とする。 は、各添字に対して の元を与えるもの。つまり 個の がある。 は、 の各要素に の元を対応させるもの。つまり を 個に分割するもの。 があるとき、index付きの像 を考えられる。 ここから自明な写像 を考えれば、これはindexed set. 多分…

自然数の (生成するという意味で) 根本的な性質っていろいろある。 と から成る構造 の上の自由モノイド 素数列の上の自由可換モノイド ( はないけど) それぞれ用途がある: 帰納法 加法 乗法 いろんな世界を行き来するというのは簡単そうでちょっとむずかし…