……《工作数学家的范畴论》（Categories for the Working Mathematician）经常被有理有据地批评写得太烂——但就因为它太有名/地位太高，依然能收获大堆五星好评。我个人更推荐 RFC Walters 的《范畴与计算机科学》（Categories and Computer Science），或者 Steve Awodey 的《范畴论》（Category Theory）来做更通识性的了解。（这听起来可能有点牢骚满腹，但这确实是在网上自学高深知识的一大隐患：那些最……
…"Categories for the Working Mathematician" has been credibly criticised for being poorly written—but because it's so famous/prestigious it still gets loads of five-star reviews. Personally, I'd recommend Categories and Computer Science by RFC Walters, or Steve Awodey's Category Theory for a more general overview. (This might all sound peevish, but it feels like a real hazard of trying to learn difficult things from the web: the most…
我觉得 R. F. C. Walters 写的《范畴与计算机科学》（Categories and Computer Science）是《第 0 章》（Chapter 0）的绝佳补充，因为整本书几乎全靠证明和具体示例在驱动。
I found "Categories and Computer Science" by R. F. C. Walters to be the perfect complement to Chapter 0 as it's almost entirely proof and example driven.
就是这本书。不过预览内容有限，我也没法直接找到出版社的引用信息。《范畴与计算机科学》（Categories and Computer Science），R.F.C Walters，1992年 https://books.google.com.au/books?id=FurEQgAACAAJ&dq=edition...
This is the book. The preview is limited though and I can't find the editor reference directly. Categories and Computer Science R.F.C Walters, 1992 https://books.google.com.au/books?id=FurEQgAACAAJ&dq=edition...
对代数数据类型（algebraic data type）求导的想法在 1992 年的《范畴与计算机科学》（Categories and Computer Science）里也有讨论：https://www.cambridge.org/core/books/categories-and-computer... 那个讨论和本帖其他地方提到的泰勒级数（Taylor series）思路有一部分是不谋而合的。不过它并没有深入到……
The idea of taking the derivative of an algebraic data type is also discussed in "Categories and Computer Science" from 1992: https://www.cambridge.org/core/books/categories-and-computer... That discussion covers some of the same ground as the Taylor series idea elsewhere in thus discussion. It doesn't get as far…
……《工作数学家的范畴论》（Categories for the Working Mathematician）经常被有理有据地批评写得太烂——但就因为它太有名/地位太高，依然能收获大堆五星好评。我个人更推荐 RFC Walters 的《范畴与计算机科学》（Categories and Computer Science），或者 Steve Awodey 的《范畴论》（Category Theory）来做更通识性的了解。（这听起来可能有点牢骚满腹，但这确实是在网上自学高深知识的一大隐患：那些最……
…"Categories for the Working Mathematician" has been credibly criticised for being poorly written—but because it's so famous/prestigious it still gets loads of five-star reviews. Personally, I'd recommend Categories and Computer Science by RFC Walters, or Steve Awodey's Category Theory for a more general overview. (This might all sound peevish, but it feels like a real hazard of trying to learn difficult things from the web: the most…
我觉得 R. F. C. Walters 写的《范畴与计算机科学》（Categories and Computer Science）是《第 0 章》（Chapter 0）的绝佳补充，因为整本书几乎全靠证明和具体示例在驱动。
I found "Categories and Computer Science" by R. F. C. Walters to be the perfect complement to Chapter 0 as it's almost entirely proof and example driven.
就是这本书。不过预览内容有限，我也没法直接找到出版社的引用信息。《范畴与计算机科学》（Categories and Computer Science），R.F.C Walters，1992年 https://books.google.com.au/books?id=FurEQgAACAAJ&dq=edition...
This is the book. The preview is limited though and I can't find the editor reference directly. Categories and Computer Science R.F.C Walters, 1992 https://books.google.com.au/books?id=FurEQgAACAAJ&dq=edition...
对代数数据类型（algebraic data type）求导的想法在 1992 年的《范畴与计算机科学》（Categories and Computer Science）里也有讨论：https://www.cambridge.org/core/books/categories-and-computer... 那个讨论和本帖其他地方提到的泰勒级数（Taylor series）思路有一部分是不谋而合的。不过它并没有深入到……
The idea of taking the derivative of an algebraic data type is also discussed in "Categories and Computer Science" from 1992: https://www.cambridge.org/core/books/categories-and-computer... That discussion covers some of the same ground as the Taylor series idea elsewhere in thus discussion. It doesn't get as far…