HADR (3) 结合代数 [HADR-3-assoc]讲稿SimplicialCat 本部分大致对应 Lurie HA 第 4 章 Associative Algebras and Their Modules.