Obsidian里数学笔记的类型链接

hbghlyj

用LaTeX把课程笔记做成pdf有几个问题。

• 数学定义/定理的（非线性）结构很难转换成pdf的线性结构。分支和引用是不可避免的，而且在比如修改笔记的时候，它们会很难浏览。
• 会出现重复。为了笔记的完整性，我需要在许多不同的课程笔记中重新定义/证明某些东西。这浪费时间。
• 当我需要参考所有课程笔记时，我会打开$\infty$个pdf。

数学对象往往与其他事物有某种“类型的链接”。举例来说，假设你有一个名为 Function.md的笔记，它定义了什么是函数。你可能想要链接到某些

• types 的函数（单射、满射等），
• examples 的函数（拓扑/度量空间中的函数）
• constructions （像、原像、复合等）
• generalizations （态射、关系等）
• properties（所有函数的集合构成一个真类）
• sufficiencies 判据
• equivalencies 等价
• justifications 理由

并非所有数学对象都需要链接到所有这些，但为了保持一致性，它们仍然包含在文档中。对于命题/定理，你可能需要一组不同的“链接类型”（proved by、 specializations、 generalizations等）。
github.com/zhaoshenzhai/MathWiki
特别是对于定理，它们的证明通常需要很多其他定理，这些定理可以很容易地用 proved by类型的链接链接起来。

publish.obsidian.md/active-inference/knowledg … tics/category_theory
publish.obsidian.md/pkc/Hub/Theory/Category T … eory/Category theory
publish.obsidian.md/discretecs/START HERE
publish.obsidian.md/myquantumwell/Welcome to The Quantum Well!
publish.obsidian.md/mth225/START HERE

hbghlyj

Jon Sterling发现logseq/obsidian无法完全满足他的需求（例如，需要为不同的节点使用不同的宏），所以他正在专门为数学构建自己的静态网站生成器。
Build your own Stacks Project in 10 minutes
他也在Mastodon上分享他的开发历程。

• 局部宏 vs 全局宏：超专业的符号只能出现在特定的上下文中。
• 组织结构：Sterling 描述了相对层次结构和绝对层次结构的区别。笔记之间没有任何层次结构（扁平化？）。它们应该都是独立存在的，这样读者可以从任意笔记开始，通过大量的链接进行深度优先搜索。

另一个很好的Obsidian静态网站生成器叫做 Quartz，网站 ewan.my 用来做数学笔记