昨天读完了《玫瑰的名字》，借此机会来写点东西，毕竟也很久没在网上留下痕迹了。
这是我第一次读埃科的书，与其说是侦探小说，到不如说是宗教事典 —— 我从中了解到许多宗教概念，尤其是欧洲中世纪的天主教派。查阅百科时甚至发现，欧洲在某段时间内竟有三位教皇，实在是可笑！天主教还是太 “世俗” 了，至少从神秘主义的角度而言如此，这是一种人间的宗教，我看不出来哪里需要上帝的存在。
我对欧洲中世纪的天主教完全没兴趣，它一点都不 “邪门”，正统派总是端着，一副高高在上的模样，成天除了讨论没意义的论题以外，根本不做其他事，教会、教堂完全就是世俗机构，无非披上宗教的面纱罢了。宗教需要的是狂热分子，而不是温良的图书管理员。
当然，故事本身还是不错的，但修道院之外的事，譬如米凯莱赴阿维尼翁、教皇与皇帝之间的矛盾等等，我都不甚了解，有机会还得再读一次。（写到此处，我突然想起穆齐尔的短篇小说，似乎是去年秋天读的）。
暑假去北京大学当黑奴，报酬是听不懂的代数课。期间自己学了一点范畴论，回家之后又学了一些，到现在算是比较了解基础技术了，但是仍有需要复习的。另外，还打了两份讲义，主题不同：An Introduction to Categories and Sheveas、Category and Homotopy，近来在读前一本，作者是 “代数分析” 学派的成员，主张用代数方法来研究微分方程等分析学问题，感觉挺有意思，但是里面很自由地运用范畴语言，还需要适应，主要得把习题给做了。书中讲加性范畴时提到了链复形，为此又上 arxiv 找了一份讲同调代数的小引论看，感觉挺有意思，其中，作者表明同调论是链复形的同伦论（大概是这样吧，记不清了），能感觉到同伦的重要性。
暑假还匆忙地翻了几页数理逻辑（A Friendly Introduction to Mathematical Logic, Leary），是极好的书，有空必须捡起来，也许下一节就会决定！近来又发现了范畴证明论（An Introduction to Categorical Proof Theory, Amirhossein Akbar Tabatabai, arxiv:2408.09488），放假时在地铁上读了几页导论，这几天从北京回来也在高铁上读了一些，看目录感觉比较容易上手。
开学以来，主要在学实在一点的数学，一开始想读代数拓扑，发现太难，遂放弃。现在在看《椭圆曲线上的有理点》，想当成代数课的补充，但是想严肃学习的话，需要的前置知识还挺多的。谈及代数，最近一直卡在各种域扩张，验证当然可以，但是实在不知道为什么要这么做，其中最关键的一个 “映射提升” 定理，我一直弄不明白。有可能就是书的问题，也许应该好好读读 Algebra 0 和李文威。
前面提到，开学时读了几页代数拓扑，其中引入的同伦，在复分析的课上也提到了，目前没见其他复分析的书引入同伦，也许是学校特色？顺便，复分析里有些概念也要梳理一下：
俄语算是捡起来了，目前仍在新手村与各格搏斗😭。借了《走遍俄罗斯》，也算是积累多点词汇，慢慢学语法吧……
最后，假期还借了本漫画，《我在伊朗长大》，对伊朗历史感兴趣，最近在逐步了解中！
暑假算是通关饥荒，主要靠队友带。最近在玩 “破碎的像素地牢”，感觉逐渐上手！
感觉还是得做些自己喜欢的事，少做不喜欢的事，譬如代数，我感觉太干了，其实可以不学，慢慢了解就行，毕竟老师确实会教。而且，课业也比较繁重。😡
基于这种考量，还是老老实实学点能读的东西好了。
-
《椭圆曲线上的有理点》：这是一定要读的，毕竟明写了是本科教材，应当认真阅读。
- 《代数学方法》：现在已经懂范畴论了，可以读了！ - Categrory and
Sheveas：可以读！ - 数理逻辑：没必要每一页都读，但是得读！
椭圆曲线学不懂，不搞了。:]
每天晚上随机读点俄语