HADR (3) 结合代数 [HADR-3-assoc]

本部分大致对应 Lurie HA 第 4 章 Associative Algebras and Their Modules.