该研究团队提出了一个"解释"概念——通过概率模型范畴Prob中的特定跨态（span），实现一个（广义）概率模型对另一个模型的解释。研究表明，这些解释可以通过标准拉回结构进行组合（尽管Prob范畴本身并不支持任意拉回运算）。进一步论证表明，每个局部有限概率模型都具有一个规范的、精确的经典解释。该构造具有函子性，因此每个局部有限概率理论都存在一个规范的、精确的经典表示（尽管通常是非局域性的）。
