·2,447,543篇论文数据,部分数据来源于NoteExpress
忠实函子(faithful functor)亦称信守函子,是全函子的对偶概念。设F:C→D为函子,若τ,σ∈HomC(A,B),τ≠σ,必F(τ)≠F(σ),则称F为C到D的忠实函子。类似地可定义反变忠实函子。包含函子当然是忠实函子,嵌入函子也是忠实函子。
详细内容
应用推荐
模块上移
模块下移
不移动