HADR (2) 代数与模 [HADR-2-mod]讲稿SimplicialCat 本部分大致对应 Lurie HA 第 3 章 Algebras and Modules over $\infty$-Operads.