设(Ω,Ω,I)是交换的有单位元的quantale.从范畴论角度来看(Ω,Ω,I)是一个小的完备的对称的monoidal闭范畴. (Ω,Ω,I)上面的enri......