2018-04-11から1日間の記事一覧
k-集合は、(k-1)-圏となる。k-指標(k-コンピュータッド)はk-集合上の構造を定義する。k-指標で定義されるk-構造付き集合を対象とするk-圏をk-マンダラと呼ぼうか。マンダラは、圏とドクトリンと統合する。 k-マンダラは、k-圏である。 k-マンダラの対象は…
真偽値の意味で命題を使う。自然数nに対してn-命題を定義する。 0-命題 - - 1-命題 0-集合 - 2-命題 1-集合 0-圏 3-命題 2-集合 1-圏 4-命題 3-集合 2-圏 構造付きk-集合 = k-構造付き集合 = k-代数 構造付きj-圏 = j-構造付き圏 = (j+1)-代数 構造付きk-…