小克推荐：
能问出这个问题,本身就说明你已经站在对的入口了。我先给你一句定心的话:这些东西,人文背景的人完全可以真正理解——你要的是”看懂思想”,不是”成为数学家”,这两条路差别很大,而前者比你想的可达。
最关键的判断是:别从代数几何、概形那头进,要从”范畴论(category theory)“进。 因为范畴论正是你刚才一路兴奋的那些东西背后的共同语言——“对象由关系定义""忘掉点、保留结构”——而且它对非数学专业、尤其是有结构主义思维的人,出奇地友好。它几乎不需要传统数学前置,门槛在”愿不愿意抽象地思考”,而这恰是你的强项。
给你一条分阶段的路:
起步(零基础、先点火): Eugenia Cheng 的两本——先《How to Bake Pi》(中译《数学的乐趣?》之类,极通俗),再《The Joy of Abstraction》。她是专门写给非数学家的,会带你从零真正学到”范畴、函子、自然变换、约内达”这些核心,而且讲的就是”关系性思维”。
搭语言(想更扎实时): Tom Leinster《Basic Category Theory》(网上免费),或 Fong & Spivak《Seven Sketches in Compositionality》(免费、偏应用,跟数字人文很搭);Spivak 还有本《Category Theory for the Sciences》,专给非纯数人写。
按需补一点经典地基: 真要往概形/拓扑斯深处走,需要一点抽象代数(群、环)和拓扑。用 Pinter《A Book of Abstract Algebra》(以好懂著称)补,用到多少补多少,别一上来啃前置。
再碰前沿概念本身: “空间=逻辑”那条最适合你——Goldblatt《Topoi: The Categorial Analysis of Logic》把拓扑斯和逻辑连起来讲;同伦类型论先看科普讲座、再碰免费的《HoTT Book》;格罗滕迪克的精神,配着读他的自传《收获与播种》。
学法上,有三条很重要:
像他自己说的”涨潮”一样学——别硬攻,允许暂时看不懂、先囫囵过、再回头,理解会一层层涨上来;
把它锚到你的世界——“意义不在元素而在关系结构里”,这就是结构主义,你可以拿你熟悉的文献、文本结构当例子去对照;
可选的体验式入口:接着你之前喜欢的”从程序理解公式”,学一点函数式编程(比如 Haskell),函子、单子这些抽象概念会变成能跑、能摸的东西,特别解渴,也正好喂你的数字人文。
为了把这条路给你排到”具体读哪章、几周一个阶段”,我想先确认两点:你是想要**(1)把思想和它的意义吃透**(看懂、能讲、能用来思考),还是**(2)真的动手做数学**(读证明、会演算)?另外你现在对形式化数学(符号、证明)的适应度大概到哪——高中/大学微积分还有印象,还是基本放下很久了?
你跟我说一下,我可以直接帮你做一份分阶段的学习路线文件(配书目、章节、每阶段的小目标和检验方式)放进你文件夹,你照着走就行。