The category of totally symmetric quasigroups is binding

63

64