このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

連続トロピカル半環の圏的解釈

高次圏論 その他代数

非負実数（∞含む）上のmin-plus代数を連続トロピカル半環と呼ぶ。

連続トロピカル半環 圏
非負実数 対象
（逆の）順序 射
∞ 始対象
0 終対象
min 直和
Min（総和） 余極限
plus（足し算） モノイド積
0 モノイド単位
足し算は可換 モノイド積の対称性
制限引き算 指数対象＝内部ホム
単調写像 関手、余極限も保存
加法的関数 モノイド関手