L子集范畴中定向函子与逆向函子的伴随性研究

引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。

函子的群逆

定义了函子的群逆，给出了函子的群逆存在的充要条件。

函子的Drazin逆

讨论了具有标准分解序列的函子Drazin逆和函子w-加权Drazin逆,给出了其存在的充分必要条件和相应的表达式.

逆半群的张量积与群的张量积

证明逆半群范畴中张量积存在，并建立它与群张量积及半格张量积的关系。

带对合范畴中态射的广义逆

在本文中,给出了带有对合自反变函子范畴中态射的广义逆的定义及广义逆存在的等价命题,进而给出了一类特殊范畴中态射存在广义逆的充要条件及广义逆的具体表达形式。

函子的广义逆

本文建立了函子的广义逆．得到：（１）函子的广义逆从不同于视矩阵为态射的另一角度，包含了“矩阵的广义逆”．（２）函子的广义道与态射的广义逆互不蕴含，但却有异曲同工之处．

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.