two brief addenda: 1) I am thinking of the product as being 'at least a product'. 2) Perhaps a further connection to symmetric monoidal categories exists by thinking of all proximate links as tensored products and all distal links as quotiented products. idk. -- Sent from: http://friam.471366.n2.nabble.com/