loose-monoid-in-a-double-category