给定一个基点空间,函子在这个空间上的作用通过商 给出。等价关系是将所有的基点序对视为同一的。一个拓扑学中的经典的结果就是他是第一个函子的左伴随。 考虑拓扑空间范畴和基础集函子,这个函子有左右伴随函子M和R。给定一个集合X,LX就是带有非离散拓扑的集合X,RX同样是这样的拓扑空间。 感觉上似乎有点问题...