完备范畴相关论文
在范畴论中,研究范畴之间的联系,一个基本的手段是通过函子实现的.我们把函子作为对象,态射为自然变换的范畴称为函子范畴.函子范......
范畴论起源于20世纪40年代,1942年Eilenberg与MacLane提出了范畴的概念,作为一种方便的数学语言,已逐渐渗透到其它学科.由于L-范畴......
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范......
拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例，用它可研究计算机程序......
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.......
本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且......
研究了个体集和强个体集的范畴性质．利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的．例如，具有任一给定......
