Note on commutativity in double semigroups and two-fold monoidal categories. Kock, J. — 2007 Journal of Homotopy and Related Structures