Disentangling Hyperedges through the Lens of Category Theory