Algebra:Chapter0 - 3. Categories

3. Categories

范畴语言被Norman Steenrod亲切地称为$abstractnonsense$。这个属于本质上十分精确但是并没有贬低的意思：范畴中的无意义的意思指的是它们关心的是结构，而不是它们所代表对象的意义。它的重点不是你遇到的具体集合是什么，而是这个集合和其他集合直接的关系。更糟糕（更好的）的是，重点不是放在集合和集合之间的函数，而是研究事物以及事物转变，不会明确说明这些东西是什么：它们可能是集合，或者群，或者环，又或者向量空间，或模，或者对其他对象。

“范畴”一开始在很多方面看上去像集合。范畴，在一些对象的collection上会让你联想到集合，更进一步的会有从范畴到范畴的函数（叫做$functors$，函子）。同时，每个范畴会让你联想到所有集合的collection，因为可以类比它所包含的对象之间的函数。

单词

• categories: 范畴
• affectionately: 亲热地；热烈地
• essentially: 本质上;根本上;基本上
• necessarily: 必然地;不可避免地
• derogatory: 贬低的;贬义的
• exotic: 来自异国(尤指热带国家)的;奇异的;异国情调的;异国风味的