Module.monoidal_category.pentagon source