50.伴随函子的性质：伴随的复合，对限制的保持

伴随函子的复合性，如果FG互为伴随，KH互为伴随，那么复合后仍互为伴随。

证明使用3.1.5的几个等价命题。伴随即意味着对象和对象的反映的特定箭头集之间的双射。

函子有左伴随，那么函子保持源端范畴的所有限制。

证明同样使用了，两个范畴中特定箭头集的一一对应关系。

---

就到这里了。