MathDB1 problem
Matching
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).