尊敬的生云鹤教授：
您好！
我是 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 日