There are already lots of questions on this subject like
and related field called ergodic theory which in fact study different things.
However, as a new category theorist with almost no statistics background I don't aim to learn these advanced topics, but to understand very basic notions like random variable and expectation from a algebraic perspective.
For example, we can define a type family
, and a real random variable can be defined as
randnum : Rand Real
and Expectation as
E : Rand a -> Real
It seems that statistics is the one of the most recalcitrant subject for algebraic approach, but I think it is not the case, we can just treat it as any other abstract object, and define axioms on this abstract random type. The notations and formulas in every introduction book of statistics I have read soon become utterly ugly due to lack of a proper foundation, which is really painful for someone ingrained with abstract algebra and functional programming. However,statistics is extremely useful for machine learning and the modelling of human brain and many others.
I have created a repo for a basic type-directed understanding of statistics in haskell https://github.com/doofin/alg-statistics