コンパクト閉圏を特徴付けるアノ公理。僕が最初に習ったとき（白旗さんの論理の論文だろうか？）は三角等式と呼ばれていたが、最近の若い人はヘビの関係式（snake relation）とか呼ぶらしい。僕もヘビの等式とかヘビの公理とか呼ぶことにする。Int構成（GoI…

トレース付きモノイド圏の圏を TrMonCat、コンパクト閉圏の圏を CompCCat とする。GoI構成を G:TrMonCat→CompCCat とする。CompCCatを、標準トレースをトレースとするトレース付きモノイド圏とみなす関手をU（一種の忘却）CompCCat→TrMonCat とする。GとUっ…

CentOS上にCatyを使えるユーザーを作る作業をまたやっている。 useraddでユーザー追加。 http://d.hatena.ne.jp/m-hiyama-memo/20100122/1264128520 参照 FTPアクセスを許可するなら、/etc/vsftd.user_list にユーザー名を追加。 次にMercurialのインストー…