Int構成のKleisli圏
Int構成（またはGoI構成）は、トレース付きモノイド圏から自由なコンパクト閉圏を定義する関手。つまり、Int:TrMonCat → KCC、これはKCC（コンパクト閉圏の圏）からの忘却関手と随伴のはずだから、モナドを定義する。これのKleisli射は、トレース付きモノイド圏CからInt(D)へのトレース付きモノイド圏準同型（関手；TrMonCatの射）ってことだが、まだ説得的具体例がない。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
Int構成（またはGoI構成）は、トレース付きモノイド圏から自由なコンパクト閉圏を定義する関手。つまり、Int:TrMonCat → KCC、これはKCC（コンパクト閉圏の圏）からの忘却関手と随伴のはずだから、モナドを定義する。これのKleisli射は、トレース付きモノイド圏CからInt(D)へのトレース付きモノイド圏準同型（関手；TrMonCatの射）ってことだが、まだ説得的具体例がない。