Mario Román

Home

❯

notes

❯

bimonoidally strict distributive category

bimonoidally-strict-distributive-category

Jul 29, 20251 min read

Bimonoidal categories do not admit strictification of both distributors at the same time because one of them is derived by a symmetry over the other.

bimonoidally-strict-distributive-category

Tags: distributive category, bimonoidal category.


Graph View

Backlinks

  • the problem of fully strict bimonoidals

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID