Type structures are a simple device to describe higher-order beliefs.However, how can we check whether two types generate the same belief hierarchy? This paper generalizes the concept of a type morphism and shows that one type structure is contained in another if and Le film de mobilisation centrasiatique only if the former can be mapped into the other using a generalized type morphism.Hence, every generalized type morphism is a hierarchy morphism and vice versa.
Importantly, generalized type morphisms do not make reference to belief hierarchies.We use our results to characterize the Driving mechanisms of taxonomic and functional community composition of Collembola during subalpine succession conditions under which types generate the same belief hierarchy.