It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal ...

Annals of Mathematics, a distinguished journal of research papers in pure mathematics, was founded in 1884. Annals of Mathematics is published bimonthly with the cooperation of Princeton University ...