余等值子相关论文
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴-Cat中的余等值子和余积性质,揭示......
为了研究L集合的性质，建立L集合的数学框架，在L集合范畴Set（L）中，研究了集合范畴Set（L）中的等值子和余等值子，以及等值子和余等值子的无点......
在一般范畴中研究余极限与余等值子和余积之间的关系,给出一个范畴余完备性的充要条件....
本文引入了以完备的反Heyting代数为真子集的格值集合模型L的概念,为运用范畴理论研究L集合的性质,可视满足格值逆序性的集合之间......
在范畴中研究推出与余等值子之间的关系,即推出由余积与余等值子完全确定....
