Higher Algebra Done Right [HADR]

Higher Algebra Done Right 是我和一些朋友 2023 年建立的群组, 以及 2026 年秋季学期组织的讨论班的名称. 具体安排将会发在我的个人主页.