摘要: 休学时间正好在家把范畴论学一下,感觉这东西对模型论视角下的可计算性的理解有大帮助 教材:Basic Category Theory - Tom Leinster, Cambridge studies in advanced mathematics 阅读全文
posted @ 2026-01-22 23:45 chx#XCPC 阅读(3) 评论(0) 推荐(0)