gap-monoidalcategories