完备范畴相关论文
在范畴论中,研究范畴之间的联系,一个基本的手段是通过函子实现的.我们把函子作为对象,态射为自然变换的范畴称为函子范畴.函子范......
范畴论起源于20世纪40年代,1942年Eilenberg与MacLane提出了范畴的概念,作为一种方便的数学语言,已逐渐渗透到其它学科.由于L-范畴......
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范......
