|
同样的技术手段也可以应用于其他类别,因此,我们将允许自己在应该说“所有小型市场”时谈论“所有市场”。定义3.3。从C类到D类的函子F是一个映射,它(i)与每个对象x相关联∈ ob(C)F(x)中的对象∈ ob(D)。(ii)关联到态射f:x→ y在hom(C)a态射F(F):F(x)→F(y)单位:hom(D)。且满足(i)所有x∈ 如果F:a,则ob(C),F(1x)=1F(x)(ii)→ b和g:b→ c然后F(go f)=f(g)o F(F)。函子的一个明显例子是单位映射M→ M、 另一个例子是“健忘函子”,它通过映射对象(V,r,c,p)将M映射到集合的类别∈ ob(M)到V中的向量集。这个函子充当M的态射上的恒等式。作为函子的一个更有趣的例子,考虑类别Visoof有限维向量空间,这些向量空间之间的可逆线性变换给出了态射。然后我们可以定义一个函子Fby F(V)=V*, V和F(T)=(T)的对偶-(1)*对于态射T:V→ W我们将用(·)表示这个函子*.我们现在已经建立了定义“不变定义元素”的概念所需的所有概念。定义3.4。
|