节点文献
从映射到函子
From Mappings to Functors
【摘要】 论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律.
【Abstract】 In this paper,thought and law are investigated from sets and mappings,structures and morphisms,categories and functors to λ-calculus and equal relations.
- 【文献出处】 湛江师范学院学报 ,Journal of Zhanjiang Normal University , 编辑部邮箱 ,2012年06期
- 【分类号】O174
- 【下载频次】67