ネタ、ネタ、ネタ - 檜山正幸のキマイラ飼育記 メモ編と重複するが、まだ記述してないこと。 JsDoc Toolkit 2.* ErlangのMakefile Erlnagのアプリケーション概念 Erlnagのerlからの関数／式の実行 関手圏 [C, D], Func(C, D), Nat(F, G) 量子計算の状態概念 …

M-豊饒圏のレルムM-Catをベースに、単なる関手ではなくてM-プロ関手による圏M-ProCatを考えること、M-CatをM-ProCatに埋め込んで考えることはものすごく重要な気がする。とりあえず、ストリートが言っている線形テンソル圏Vectkを使った豊饒化とプロ関手（ス…

n個の型パラメータを持つ総称型は、C1×...×Cn→D という関手だと思ってよいだろう。総称関数は自然変換、あるいは自然変換を少し拡張した概念で定式化できるだろう。世間で総称型／総称関数といっているものがすべてこのようにみなせるわけではないが、タチの…