Hi, Is there a reference that gives the full symmetric monoidal bicategory structure on V-Cat and V-Prof, and which shows that the embedding functor V-Cat-->V-Prof is symmetric monoidal? Cheers, Jamie [For admin and other information see: http://www.mta.ca/~cat-dist/ ]