[视频作者] 哈罗德的遗忘函子
[视频时长] 36:47
[视频类型] 科学科普
在这个视频里我们主要讨论了: 张量/hom 伴随 预层(presheaf)与层(sheaf),以及他们之间的层化/遗忘伴随 集合间的直像与逆像的关系,以及衍生出的层与层之间的直像函子(direct image functor)与逆像函子(inverse image functor)间的伴随 判断自然性的criteria:将伴随的两个自然性转化为两张交换图等价的性质 极限函子与平凡图函子之间的伴随:特别地,极限函子和余极限函子分别作为平凡图函子的右伴随和左伴随存在
![[图]【基本范畴论 20】同调代数中的常见伴随](https://i2.hdslb.com/bfs/archive/5c5c262d62ef54e0c514b755f0f20928009d5a63.jpg)