format monoids