2017-12-11から1日間の記事一覧
圏論的な世界〈world〉を次のようなものだとする。 世界の構成素を領地〈dominion〉と呼ぶ。 領地は、高次の圏、複圏、多圏のいずれかである。 領地は有限個である。 それぞれの領地は小さいn-圏, n-複圏, n-多圏である。 領地の次元は有限で、最高次元nが領…
指標("インデキシング・ベース圏”の対象)と命題({インデキシング垂直圏 | ファイブレーションのファイバーである圏}の対象)のペアを仕様と呼ぶ。仕様はグロタンディーク/エルブラン圏=ハイパーベース圏の対象であると同時に、ハイパーインスティチュー…
重要なのはグロタンディーク/エルブラン圏である。 MLの概念 グロタンディーク/エルブラン圏 別な言い方 シグニチャー 仕様 セオリー ストラクチャ 絶対セオリー インスタンス ファンクタ 相対セオリー トランスフォーマー シグニチャに属するストラクチャ…
素材: 名前の集合 Name アンビエントドクトリン アンビエント圏C: アンビエントドクトリンから1つ選ぶ 論理ドクトリンL 以上から、指標圏と指標射が作れて、指標圏を定義できる。この指標圏をベース圏として、論理ドクトリンLに値をとるインデックス付き圏…
存在しなくなったターゲットを検出したい。バックグラウンド・バッチ処理。 存在しなくなったターゲットの代替を定義したい。 ブックマーク本体(body部)を別なリソースに書きたい。 ボディとターゲット以外に、関連リソースへのリンクを含めたい。 httpとh…
AtomエディタかVSCodeエディタを使おうかと思っている。現在作業中のEmacs(バッファを抱えている)のメモリー使用量(メガ以下は切り捨て)が 1プロセス 77M Atomを起動直後 5プロセス 2, 37, 123, 164, 184 VSCodeを起動直後 7プロセス 2, 12, 14, 22, 24,…