An Algebraic Framework for Hierarchical Probabilistic Abstraction