绝对是BSO的数学书：How to bake pl

作者是Eugenia Cheng. 如果你小孩有兴趣愿意读完其中的一两章，一定是学数学，CS，AI 的好材料。里面的基本概念是现代数学的核心基础。是现在越来越受欢迎的functional programming 理论基础。和形式语言和逻辑也非常相关。目的不是要小孩全部看懂理解，而是看他们对这些内容是否有兴趣，category theory 一般是大学数学系髙年级或研究生的课程。Cheng 试图把它科普给大家，精神可佳。8年级及以上的学生可以试一下。