论范畴论对集合论的跨越性 Lawvere, F. W. & Rosebrugh, R. Sets for Mathematics[M]. Springer, 2003. 范畴论 复旦大学出版社 集合论 类型论 罗素悖论 2025-05-07 19:23 3
