Strong-to-weak spontaneous symmetry breaking of higher-form non-invertible symmetries in Kitaev's quantum double model

Topological orders can be understood as spontaneous symmetry breaking of higher-form symmetries. In the non-abelian case, the broken higher-form symmetries are notably non-invertible. In this work, we extend this framework to mixed states, where symmetries can be either strong or weak. In particular