49.伴随函子的例子：沿可表函子的反映，偏序集自身范畴间的伴随

考虑一个任意的范畴C和一个固定的对象C，单元素集有一个沿可表函子的反映，也就是下图。这是描述沿函子映出的基本交换图。对于任意的箭头f，有，本质上就是

考虑两个偏序集A，B，将其自身视为范畴，两个预序保持映射f,g。将其视为函子。于是满足一些条件后，g就是f的左伴随。由于在偏序集中每一个图都是交换的，所以自然性和交换性条件自动满足。这些条件立即给出了f，g互逆。偏序集之间的伴随关系也称之为伽罗瓦连接。

偏序集这个没看明白，预序保持是什么东西，应该是保持元素的顺序吧，。