XORフロベニウス代数 フロベニウス代数の圏の射は同型に限る バブル・ムーブとパッヒナルstellar subdivisionは同値

計算装置、計算器としてのハイブ 計算装置のセマンティクスはスコットブラケットで書く。 スコットブラケットの内部はプログラムコードや計算図式 計算図式やプログラムコードの変換、プログラム変換／翻訳 計算装置・記述の変換としてのポアンカレ双対 プロ…