好书网为大家整理了经典好书《代数学方法(第一卷)》中的经典语录,精彩段落及优美句子,重读经典,感悟人生。让读者沉浸在自己的阅读世界里,忘记周围的世界, 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和,欢迎大家阅读~
忘却函子 Grp → Set 的左伴随是自由群函子: F : X → F(X) (定义 4.8.2), 其单位是集合 X 到其自由群的嵌入 X ↪→ F(X). 以后我们还会考察自由模和多项式环等类似的自由构造, 无论对哪一种结构, 准则不外乎 “自由是遗忘的左伴随”. 命题 2.6.10 将阐明伴随函子的唯一性, 故上句应当视作自由构造的一般刻画.
一句话, 给定 M , 全体 M-集连同等变映射构成一范畴 M -Set.