  This is the first installment of a series of papers whose aim is to lay a
foundation for homotopy probability theory by establishing its basic principles
and practices. The notion of a homotopy probability space is an enrichment of
the notion of an algebraic probability space with ideas from algebraic homotopy
theory. This enrichment uses a characterization of the laws of random variables
in a probability space in terms of symmetries of the expectation. The laws of
random variables are reinterpreted as invariants of the homotopy types of
infinity morphisms between certain homotopy algebras. The relevant category of
homotopy algebras is determined by the appropriate notion of independence for
the underlying probability theory. This theory will be both a natural
generalization and an effective computational tool for the study of classical
algebraic probability spaces, while keeping the same central limit. This
article is focused on the commutative case, where the laws of random variables
are also described in terms of certain affinely flat structures on the formal
moduli space of a naturally defined family attached to the given algebraic
probability space. Non-commutative probability theories will be the main
subject of the sequels.
  (This work is a spin-off from the author's program to characterize path
integrals of quantum field theory in terms of the symmetries of the quantum
expectation which should satisfy a certain coherence with a particular weight
filtration generated by the Planck constant $\hbar$. A similar idea is adopted
here in a simplified form, without the $\hbar$-conditions, and, in return, many
results in this paper will be used as background materials in the forthcoming
work on homotopy theory of quantum fields).
