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 ...

P. E. Miles, Order Isomorphisms of B* Algebras, Transactions of the American Mathematical Society, Vol. 107, No. 2 (May, 1963), pp. 217-236 ...