A是一个小范畴，所以意味着A的任意两个对象间的态射可以构成集合。于是，根据之前的定理，A到集合范畴的函子，及这些函子间的自然变换可构成一个范畴。
定义映射：
其内容为：
作用于对象得到可表函子，作用于射g得到可表函子间的自然映射。
这个映射具有这样的性质
于是Y*就是一个调转箭头方向的映射。并且在这种反向作用下保持了结合律和恒等映射，于是就是一个函子，称之为反变函子。
正式定义，相对于函子的定义，明显的变化就是对箭头的反向作用，这在箭头的像和复合律上得到了体现。
上面是函子的定义，可以比较一下。只是做了轻微的改动。
应该强调反变函子与函子的区别只在于箭头方向，在函子上成立的性质都可以变为反变函子的性质。下面是反变函子上的自然变换。
反变函子的自然变换
经过比较，发现，和函子间的自然变换相比，只要涉及了射f，箭头方向就要调转。其他不动。
函子的自然变换
其他的结果都可以这样变为反变函子的结果，这样做的合理性可以在对偶原理那一节找到解释。
函子和反变函子，仅仅改变箭头方向，能有多大的意义呢？拭目以待。
A是一个小范畴，所以意味着A的任意两个对象间的态射可以构成集合。于是，根据之前的定理，A到集合范畴的函子，及这些函...
现在，读者已经注意到了每一个在协变函子上成立的结果都有与之对应的反变函子上成立的结果，每一个由单态证明的结果，也有...
a.从反变米田嵌入开始，小范畴A中的对象，对应到A到集合范畴的函子。一个对象确定一个函子，干什么用的？ b.可表函...
本文目录：1.什么是函子2.MayBe函子3.Either函子4.Pointed函子5.IO函子6.IO函子存在的...
Functor为什么要学函子？什么是Functor理解Functor总结MyBe函子Either函子IO函子Tas...
自函子 自函子（Endofunctor）是一个将范畴映射到自身的函子（A functor that maps a ...
接着学习函子，函子是范畴之间的结构保持映射。 给出两个函子，通过逐点复合的方式可以得到一个新的函子，可以验证，这种...
函子 函子的概念 函子是函数式编程里面最重要的数据类型，也是基本的运算单位和功能单位。函子首先是一个容器，它包含了...
这一节关注于，与限制结构交换的函子 一个函子称之为保持限制的，当对任意小范畴和任意函子，如果限制存在，那么经过函子...
本文标题：9.反变函子
本文链接：https://www.haomeiwen.com/subject/zmbqwktx.html
网友评论