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