Isotopy of magmas

From Groupprops

Definition

An isotopy of magmas is a bijective homotopy of magmas.