伴随函子的复合性，如果FG互为伴随，KH互为伴随，那么复合后仍互为伴随。
证明使用3.1.5的几个等价命题。伴随即意味着对象和对象的反映的特定箭头集之间的双射。
函子有左伴随，那么函子保持源端范畴的所有限制。
证明同样使用了，两个范畴中特定箭头集的一一对应关系。
就到这里了。
伴随函子的复合性，如果FG互为伴随，KH互为伴随，那么复合后仍互为伴随。
证明使用3.1.5的几个等价命题。伴随即意味着对象和对象的反映的特定箭头集之间的双射。
函子有左伴随，那么函子保持源端范畴的所有限制。
证明同样使用了，两个范畴中特定箭头集的一一对应关系。
就到这里了。
伴随函子的复合性，如果FG互为伴随，KH互为伴随，那么复合后仍互为伴随。 证明使用3.1.5的几个等价命题。伴随即...
我们知道一个伴随函子仅仅在同构下唯一。所以，在定理3.1.5中，让我们固定一个特定的F的左伴随函子G。这个操作不能...
给定一个范畴C，和一个小范畴D，考虑函子， 一个范畴C是余完备的，等价于，对任意小范畴，对应的函子有左伴随。 证明...
这一节关注于，与限制结构交换的函子 一个函子称之为保持限制的，当对任意小范畴和任意函子，如果限制存在，那么经过函子...
设F：A--B是一个函子，B是范畴B的一个对象。当对象B沿函子F的反映存在，那么他在同构的意义下唯一。 考虑一个函...
沿一个函子映出（反映？） 我们都知道，考虑定义了加法的自然数幺半群，与其联系的最紧密的交换群是整数加法群。事实上存...
接着学习函子，函子是范畴之间的结构保持映射。 给出两个函子，通过逐点复合的方式可以得到一个新的函子，可以验证，这种...
前一节，我们考察了保持所有限制的函子。现在我们来考察被所有函子所保持的限制。实际上，我们将在余限制的基础上发展这个...
这一节用来证明这本书中最重要的结果之一，伴随函子定理 给定一个函子F：A---B和范畴B中的对象B，我们考虑函子，...
b.考虑群和群同态构成的群范畴，基础集函子（遗忘函子）有左伴随函子。对于给定的集合X，首先考虑由构造的自由幺半群M...
本文标题：50.伴随函子的性质：伴随的复合，对限制的保持
本文链接：https://www.haomeiwen.com/subject/suyuaktx.html
网友评论