初学范畴论的一些体会

休学时间正好在家把范畴论学一下,感觉这东西对模型论视角下的可计算性的理解有大帮助

教材:Basic Category Theory - Tom Leinster, Cambridge studies in advanced mathematics

posted @ 2026-01-22 23:45  chx#XCPC  阅读(0)  评论(0)    收藏  举报