MathDB1 problem
A bipermutative category has additive and multiplicative symmetric permutative structures, with the multiplicative structure distributing over the additive one. A symmetric bimonoi…
A bipermutative category has additive and multiplicative symmetric permutative structures, with the multiplicative structure distributing over the additive one. A symmetric bimonoi…