m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 Caty 結局、データセットの圏を考える必要がある。この圏の対象とは： 高々加算の集合Aが台集合で、XJSON型の圏への忘却関手を持つ。 適当な n∈(N∪{∞}) に対する [n] からの双射を持つ。e:[n]→A を列挙と呼ぶ。 ノルムと呼ばれる ν:A→N がある。ノルムの条件は後述。 e(0)∈A を 0A と書く。混乱がなければ単に 0 とも書く。 ν(x) = 0 ⇔ x = 0A e;ν は [n]→N の単調写像となる。 すべての k∈N に対して、ν-1(k) は有限集合（空でもよい）である。 A = (A, eA, νA) = (A, e, ν) のような記号の乱用を使うとして、f:… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20111208%2F1323326444" title="データセットの圏 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-12-08 15:40:44 rich https://m-hiyama-memo.hatenablog.jp/entry/20111208/1323326444 1.0 100%