Universal algebra in s-monoidal categories | lit.salon