Generalised statistical theories

Abstract

In this AFOSR project, we draw a precise analogy between models in statistics and logic using categorical logic. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with formal morphisms between different statistical methods.