恆等函子(identity functor)亦稱單位函子.一個範疇到自身的恆等變換.若留為一個範疇,函子I,,使子的每個對象都變成自己,也使省中的任意態射變到自己,則稱F為...
忠實函子(faithful functor)亦稱信守函子,是全函子的對偶概念。設F:C→D為函子,若τ,σ∈HomC(A,B),τ≠σ,必F(τ)≠F(σ),則稱F為C到D的忠實函...
在範疇論中,函子(functor)是範疇間的一類映射,通俗地說,是範疇間的同態。...... 的恆等態射 。恆等函子(Identity functor): ,把 中的對象和態射都對應到其...
函子是範疇間的一類特殊映射。有些問題中需研究兩個範疇間的聯繫或通過這種聯繫由一個範疇的性質來推斷另一範疇的性質,這就引出函子的概念。函子可看成範疇間的...
對偶函子(dual functor)是對偶範疇間的一個顯見函子。即刻畫範疇C與C°間關係的一個標準函子。函子是範疇間的一類特殊映射。有些問題中需研究兩個範疇間的...
常函子(constant functor)亦稱對角函子一個特殊的函子.設F, : c}}40‘為函子,BE }y,若對任意的AE}0,F(A)=B,對任意的z0中態射.f:X}Y,F(f)=eB...
共尾函子(final functor)是代數K理論中定義纖維範疇時用到的一類重要函子。它是一類特殊的保積函子。設(C,⊥),(D,⊥)為帶積範疇,F:C→D為保積函子。若...
的恆等函子,則稱函子F與G等價,且稱模範疇 與 是等價的,記為此時,也稱環A與B是森田紀一相似的,記為 。兩個模範疇C,D等價的充分必要條件是,存在全忠實函子...
給出一個對偶函子 ,其二次疊代 遂給出對偶函子: 。定理:對偶函子是一個範疇等價。定理:對偶函子的二次疊代自然同構於LCA上的恆等函子 [2] 。參考...