「ステパノフ理論：」で始まるタイトルは、その話です。ステパノフの言う「コンセプト」とは、だいたいは型クラスだと思う。コンセプトの実装はないので、説明用のメタ記述は擬似言語を使っているんだが、それがギゴチないつうか、気持ち悪いつうか、どうも…

Global State（ストレージ）を特徴付ける7つの公理 - 檜山正幸のキマイラ飼育記 メモ編 プロトキン／パワーのストレージ代数 - 檜山正幸のキマイラ飼育記 メモ編 フロベニウス半群 - 檜山正幸のキマイラ飼育記 メモ編 フロベニウス加群族 - 檜山正幸のキマイ…

Global State（ストレージ）を特徴付ける7つの公理 - 檜山正幸のキマイラ飼育記 メモ編 プロトキン／パワーのストレージ代数 - 檜山正幸のキマイラ飼育記 メモ編 フロベニウス半群 - 檜山正幸のキマイラ飼育記 メモ編 の続き。Global State（ストレージ）を…

プロトキン／パワーのストレージ代数 - 檜山正幸のキマイラ飼育記 メモ編の続き。まず、フロベニウス代数と特殊フロベニウス代数（special Frobenius algebras）については、 http://ncatlab.org/nlab/show/Frobenius+algebra http://ncatlab.org/nlab/show/…

ストレージ代数の公理は次の記事で引用している。 Global State（ストレージ）を特徴付ける7つの公理 - 檜山正幸のキマイラ飼育記 メモ編 モノイド、コモノイド、双モノイド、加群、余加群、双加群と入れ替え（スワッパー）の文脈で考える必要がある。これは…