MathDB1 problem
Homotopy-transfer conjecture. The connection can be constructed via the homotopy transfer theorem, using constructions (1) and (2).
Homotopy-transfer conjecture. The connection can be constructed via the homotopy transfer theorem, using constructions (1) and (2).