|
|||||
|
|
| 双诱导型定向与逆向函子伴随性的研究 | |
| 作者单位： | ;1.伊犁师范学院数学与统计学院;2.四川大学数学学院 |
| 摘 要： | Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子. |
| 关 键 词： | Ω-范畴 双诱导型定向函子 双诱导型逆向函子 伴随性 |
The Study about Adjoint of Directed and Inverse Functors of the Bi-induced Type |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |