The theory of bimonoids

The symmetric monoidal theory B of bimonoids has four generators and the equations below. See Episode 8 for a discussion of the equations that relate the adding monoid and the copying comonoid.


B is isomorphic to the prop Mat of natural number matrices. See Episodes 15 and 16.