给定一个范畴C，和一个小范畴D，考虑函子，
一个范畴C是余完备的，等价于，对任意小范畴，对应的函子有左伴随。
证明，借助于余锥和沿函子反映的相似性，于是，余限制就和伴随产生了联系。
最后，考察给定的伴随产生其他的伴随，将范畴间的函子，拓展为函子范畴间的函子。
考虑一个有左伴随的函子，那么对应的函子范畴也有左伴随。
这一部分，只能说太难了，很混杂，很难理清思路。限制，余限制，完备余限制，函子范畴，函子复合，自然变换，自然变换复合。这些概念需要理解得很清楚才行，现在显然还做不到，所以看得很艰难。证明的细节没办法去补充完整，姑且得到一些印象。
给定一个范畴C，和一个小范畴D，考虑函子， 一个范畴C是余完备的，等价于，对任意小范畴，对应的函子有左伴随。 证明...
我们知道一个伴随函子仅仅在同构下唯一。所以，在定理3.1.5中，让我们固定一个特定的F的左伴随函子G。这个操作不能...
将两范畴之间的函子视为对象，函子间的自然变换视为箭头就可以构成函子范畴，这样的范畴是范畴上的范畴，往往称为纯粹的范...
b.考虑群和群同态构成的群范畴，基础集函子（遗忘函子）有左伴随函子。对于给定的集合X，首先考虑由构造的自由幺半群M...
这一节用来证明这本书中最重要的结果之一，伴随函子定理 给定一个函子F：A---B和范畴B中的对象B，我们考虑函子，...
f.考虑一个固定集合I和集合范畴上的函子，这个函子有一个右伴随函子 对于两个集合X，Y，同构成立。其实就是成立。由...
c.考虑交换群和群同态构成的交换群范畴，基础集函子有左伴随函子。 对于给定的对象X，FX就是X的基数个交换群的余积...
沿一个函子映出（反映？） 我们都知道，考虑定义了加法的自然数幺半群，与其联系的最紧密的交换群是整数加法群。事实上存...
a.考虑幺半群和幺半群同态构成的范畴。 基础集函子（实际上就是遗忘函子）有左伴随。 作用效果是，对每一个给定的集合...
“代数拓扑的基本观点:几+66代数照相。这种照相是用范畴与函子的语言来表达的。”——姜伯驹 范畴和函子(尤其是函子...
本文标题：51.伴随函子的性质：余完备与伴随，范畴间函子的伴随与对应函子范
本文链接：https://www.haomeiwen.com/subject/imamaktx.html
网友评论