套磁信

尊敬的生云鹤教授：

您好！

我是 2023 级数学学院的学生秦宇轩，对数学有浓厚兴趣，特向您写信以表达我希望得到您指导的愿望。

在过去的一年半中，我特别被范畴论、拓扑所吸引，具体而言，我读完了以下书目：

• Basic Category Theory, Tom Leinster;
• Category Theory for Working Mathematicians, Mac Lane;
• 一般拓扑学基础，张德学;

目前，也开始着手阅读：

• Manifolds, Sheaves and Cohomology, Torsten Wedhorn;
• Coend Calculus(https://arxiv.org/abs/1501.02503), Fosco Loregian;
• Basic Concepts of Enriched Category(http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf), G. M. Kelly;

此外，出于对数理逻辑的兴趣，我于大一参加了北京国际数学研究中心的 “数学形式化和定理证明” 暑校、寒校，对定理证明器 lean4(https://lean-lang.org/about/) 较为熟悉，并阅读了 Lambda Cauculus, Roger Hindley; 的绝大部分内容。

我目前的想法是进一步阅读范畴论、代数拓扑以及逻辑的书籍，希望未来能进一步深造。

我非常希望得到您对我学习计划的建议。如果您有时间，我愿意随时前来拜访，进一步详细讨论我的想法。

感谢您抽出宝贵的时间阅读我的邮件。我期待您的回复，并希望能有机会向您学习。

此致

敬礼！

秦宇轩 2025 年 3 月 1 日