资讯详情

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

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