摘要
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律.
In this paper,thought and law are investigated from sets and mappings,structures and morphisms,categories and functors to λ-calculus and equal relations.
出处
《湛江师范学院学报》
2012年第6期5-9,共5页
Journal of Zhanjiang Normal College
关键词
结构
态射
范畴
函子
structure
morphism
category
functor
