これも後で書く - 檜山正幸のキマイラ飼育記 メモ編 形式言語系の定義 - 檜山正幸のキマイラ飼育記 メモ編 この話。ラベル付き遷移系と多項式の例を出す。（多項式インスティチューションについては、多項式インスティチューション - 檜山正幸のキマイラ飼育…

指標に対してCの代数を定義する - 檜山正幸のキマイラ飼育記 メモ編 と、そこからリンクされているエントリーもよく読め。

圏的セオリー（指標＋一般化合同）を考えると、そのセオリーのモデルとなる圏の圏ができる。多くの圏の圏がこうして出現する。で、「圏の圏」と書くとtypoと勘違いされるし、セオリーで定義された圏の圏を的確に表現する言葉はないものか、と。で、パラダイ…