非負実数（∞含む）上のmin-plus代数を連続トロピカル半環と呼ぶ。 連続トロピカル半環 圏 非負実数 対象 （逆の）順序 射 ∞ 始対象 0 終対象 min 直和 Min（総和） 余極限 plus（足し算） モノイド積 0 モノイド単位 足し算は可換 モノイド積の対称性 制限引…

http://www.diku.dk/hjemmesider/ansatte/henglein/papers/leiss2006.pdf http://www.sciencedirect.com/science/article/pii/0021869381901794 http://people.maths.ox.ac.uk/~hap/tancl07/tancl07-struth.pdf 加群を考えないほうがおかしいよなー。