MathDB1 problem
- 0 votes0 replies0 views
May's strictification conjecture for symmetric bimonoidal functors
A bipermutative category has additive and multiplicative symmetric permutative structures, with the multiplicative structure distributing over the additive one. A symmetric bimonoi…