型： String: 文字列、特にバリデーション〈検査〉しない。 MailAddr ⊆ String: バリデーションする。 ZipCode ⊆ String: バリデーションする。 旧スキーマ： ( givenName : String, familyName : String, mailAddr : MailAddr, userId: String, geoAddr : S…

集合 A の要素の順列の個数と、集合 A の分割〈パーティション〉に順番〈全順序〉を付けたモノの個数は同じ。だが、解釈が違う。以上の事実は、バンドルの移送方向（前送り〈押し出し〉か引き戻し）に関して基本的な見方を与える。同様に、組み合わせ的な議…

n-圏の離散化持ち上げ〈discretization {lift | promotion | ascent}〉をδ、打ち切り引き下げ〈truncation {fall | demotion | descent}〉をτとすると。$`\quad {\bf SET}(A, \tau {\bf Set}) \cong \tau {\bf CAT}(\delta A, {\bf Set})\text{ in }{\bf SET…

書き方と印象。文字は変えない。 $`(f_i:A_i \to B_i)_{i\in I}`$ まー、写像の族だわな、うん。 $`(f[i]:A[i] \to B[i])_{i\in I}`$ スキーマ〈集合の配列〉 A とスキーマ〈集合の配列〉 B のあいだの値変換に見える。$`i\in \{1, 2, 3\}`$ とか。 $`(f_i:A…

ESModules を使ったソースで、ts-node hoge.mts すると、ts-node が次のエラーを出す。 SyntaxError: Cannot use import statement outside a moduleファイル名が .mts 拡張子なので、"type": "module" 要らないはずだが、package.json に次を入れてみた。 "…