2) Category of Involutive Quantales
对合Quantale范畴
1.
The Inverse System of the Category of Involutive Quantales;
对合Quantale范畴的逆系统
2.
The Limit of the Category of Involutive Quantales;
对合Quantale范畴的极限
3) dual category
对偶范畴
4) the category of Girard Quantale
Girard Quantale范畴
1.
In this paper,the limit in the category of Girard Quantale is considered,and its conformation is given.
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质。
5) self dual category
自对偶范畴
6) dual quantale
对偶quantale
1.
The Par Operation and Its Properties of Dual Quantale
对偶Quantale上的Par运算及其性质
2.
The semantics of this logic in showing its soundness and completeness by dual quantales is given.
Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 。
3.
The notion of dual quantale is introduced,the properties and constructions of dual quantales are studied.
提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 。
补充资料：对偶范畴
对偶范畴
dual category
对偶范畴【山目口姆，叮:八即‘cr砚”皿a.RaTerop二]，范畴C的 范畴C“，与C有同样的对象，而其态射的集合Homc.(A，B)=Hom。(B，A)(“箭头倒过来”).范畴C。中两个态射u与。的合成定义为C中v与“的合成.范畴C中的概念与陈述都换成C“中的对偶概念与陈述.因此，满态射的概念对偶于单态射的概念，投射对象的概念对偶于内射对象的概念，直积的概念对偶于直和的概念，等等 .C上的反变函子变成C。上韵共变函子. 对偶范畴(d“al Category)有时可以直接实现;例如，离散Abel群范畴等价于与紧Abel群范畴相对偶的范畴(no.Tp盯.。对偶性(POn句哪如d庄山ty))，而仿射概形的范畴等价于与有单位元的交换环的范畴相对偶的范畴.B.H.八aHHJIoB撰【补注】范畴C的对偶范畴也称为逆范畴(opp书ite。姻卯口)，也用记号CoP来表示(见范畴(口征即ry)). 周伯埙译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条