Webフロントエンドとは縁がないのでよく知らんが、ビルドツールは 最近のビルドツールって何なの？ - 檜山正幸のキマイラ飼育記 で取り上げたことがある。2017年前半に、bowerというツールも終焉したらしい（よく知らんが、ご愁傷様）。 https://qiita.com/M…

ざっと調べたが、雑でイイカゲンで未完成である。一般的な概念 モジュールとパッケージ：モジュールを集めてパッケージ パッケージマネージャ グローバルインストールとローカルインストール プロジェクト： 作業をするための環境 パッケージのメタ情報 パッ…

骨格関係は、 骨格的な圏と圏の骨格： http://d.hatena.ne.jp/m-hiyama/20101102/1288676747 DがCの外部骨格であることを次のように定義する。 Dは骨格的圏。 埋め込み E:D→C がある。 E(D) はCの内部骨格。 内部骨格と外部骨格の区別は微妙だが、一応区別し…

proposition 対象 proof 射 reasoning 圏論的オペレーター judgement ワイヤーフレーム射 rule 生成射 論理圏（命題と証明の圏）のワイヤーフレーム圏が興味の対象となる。世間的には、もとの圏とそのワイヤーフレーム圏、あるいは骨格ワイヤーフレーム圏の…