Elaborating on works by Abouzaid and Mescher, we prove that for a Morse function on a smooth compact manifold, its Morse cochain complex can be endowed with an ΩBAs-algebra structure by counting moduli spaces of perturbed Morse gradient trees. This rich structure descends to its already known A∞-algebra structure. We then introduce the notion of ΩBAs-morphism between two ΩBAs-algebras and prove that given two Morse functions, one can construct an ΩBAs-morphism between their associated ΩBAs-algebras by counting moduli spaces of two-colored perturbed Morse gradient trees. This morphism induces a standard A∞-morphism between the induced A∞-algebras. We work with integer coefficients, and provide to this extent a detailed account on the sign conventions for A∞ (resp. ΩBAs)-algebras and A∞ (resp. ΩBAs)-morphisms, using polytopes (resp. moduli spaces) which explicitly realize the dg-operadic objects encoding them. Our proofs also involve building at the level of polytopes an explicit functor from the category of ΩBAs-algebras to the category of A∞-algebras, drawing from a result by Markl and Shnider. This paper is adressed to people acquainted with either symplectic topology or algebraic operads, and written in a way to be hopefully understood by both communities. It comes in particular with a detailed survey on operads, A∞-algebras and A∞-morphisms, the associahedra and the multiplihedra, as well as some details on the usual techniques used in symplectic topology to define algebraic structures on geometrical (co)chain complexes. It moreover lays the basis for a second article in which we solve the problem of finding a satisfactory homotopic notion of higher morphisms between A∞-algebras and between ΩBAs-algebras, and show how this higher algebra of A∞ and ΩBAs-algebras naturally arises in the context of Morse theory.The associahedron K 4 and the multiplihedron J 3 ...