モノイドとパラ圏

ゾゾウスキ導分とゾゾウスキ共役 - 檜山正幸のキマイラ飼育記 :

M⁺∨M^- から“自由生成”した畳み込み積の半環

プレ圏、偏圏、パラ圏などと呼んでいたものがあるが、M⁺∨M^-はその例。

これに限らず、圏の「生成系と関係」としてパラ圏は頻出する。モノイドが素材でも構成結果はパラ圏となる場合がある。通常は、自由構成して圏を作る。

一般関手モデル：インスティチューションとの関係 - 檜山正幸のキマイラ飼育記にも「生成系と関係」としてのパラ圏は登場する。