We propose a novel criterion for hyperedge disentanglement. We analyze hypergraph MPNN and disentanglement through the lens of category theory, and derive the criterion.