非常感谢一位朋友推荐的类型论入门课程MAT-FORMATH by Andrej Bauer，第一集(2024-10-04 Type theory)以笛卡尔积为例子，让我首次触摸到了类型论、集合论、范畴论的微妙关联。

也非常感谢这位朋友之前推荐的范畴论入门书籍 The Joy of Abstraction by Eugenia Cheng 以及网站 nLab。

如果没有这些无私分享，我是绝无可能了解到这么新颖有趣的数学。感谢他们没有故意建起知识的护城河，而是为初学者打破了第一道信息壁垒。

结合以上参考资料，我写下了这篇学习笔记。初学思考，严谨不足，仅供交流。文末附有后记，简述了我业余自学数学的奇妙旅程。

在域名解析中添加两条记录（A 与 CNAME），即可将阿里云购买的域名与 Github Pages 绑定。

学会基本的 Hugo 本地建站和 GitHub Pages 部署之后，对于数学爱好者来说，最重要的就是让网页实现数学公式渲染。 我选择使用 JavaScript显示引擎 MathJax，支持渲染 LaTeX 数学公式。 涉及修改主题，附Fork 主题并替换子模块教程。

当你已经知道如何用 Hugo 完成本地建站，接下来就可以将它部署到互联网上了！ GitHub Pages 托管是最为简单的办法之一，无需购买服务器，快捷、免费、稳定，尤其是 GitHub Actions 自动化部署 功能特别方便！

本站使用 Hugo + GitHub Pages 搭建。 Hugo 是一个基于 Go 语言的静态网站生成器。只需挑选一款喜欢的主题，具备一点 git 基础，就能在几分钟内轻松完成本地建站。

识别图片中的数学公式为 LaTeX 代码，我经常使用诸如 ChatGPT 的大语言模型（LLM），从此告别昂贵的 Mathpix。 但如果是要转化为 Typst 代码，ChatGPT 的表现非常糟糕；遂尝试 Claude ，效果奇佳！懒人写 Typst 有福了！ 附国外短信接码平台使用教程，解决国内手机号无法注册 Claude 的问题。

已经使用了 VPN ，浏览器也已经可以顺利上网了，但在终端使用 git 命令总遇到网络问题，非常不方便。但只需进行以下两项网络设置，就能在愉快使用 git 了！