HADR (4) En-代数 [HADR-4-fact]

本部分大致对应 Lurie HA 第 5 章 Little Cubes and Factorizable Sheaves.