Non-invertible higher-categorical symmetries | Synapse