It is well-known that strongly homotopy structures can be transferred over chain homotopy equivalences. Using the uniqueness results of Markl and Rogers we show that the transfers could be organized into a discrete Grothendieck bifibration. An immediate aplication is e.g. functoriality up to isotopy.
This video is part of the European Non-Associative Algebra Seminar series.
