3. Categories
范畴语言被Norman Steenrod亲切地称为 。这个属于本质上十分精确但是并没有贬低的意思：范畴中的无意义的意思指的是它们关心的是结构，而不是它们所代表对象的意义。它的重点不是你遇到的具体集合是什么，而是这个集合和其他集合直接的关系。更糟糕（更好的）的是，重点不是放在集合和集合之间的函数，而是研究事物以及事物转变，不会明确说明这些东西是什么：它们可能是集合，或者群，或者环，又或者向量空间，或模，或者对其他对象。
“范畴”一开始在很多方面看上去像集合。范畴，在一些对象的collection上会让你联想到集合，更进一步的会有从范畴到范畴的函数（叫做 ，函子）。同时，每个范畴会让你联想到所有集合的collection，因为可以类比它所包含的对象之间的函数。
单词
- categories: 范畴
- affectionately: 亲热地；热烈地
- essentially: 本质上;根本上;基本上
- necessarily: 必然地;不可避免地
- derogatory: 贬低的;贬义的
- exotic: 来自异国(尤指热带国家)的;奇异的;异国情调的;异国风味的