TY - RPRT TI - A categorification of the Cartan-Eilenberg formula AU - Jun Maillard PY - 2022 DO - 10.1016/j.aim.2022.108187 UR - https://arxiv.org/abs/2102.07554 ID - 2102.07554 ER -