Hi, is there a coherence theorem for lax monoidal cats? I have alpha : (A (x) B) (x) C -> A (x) (B (x) C) rho : A -> A (x) I lambda : I (x) A -> A Do I need just the diagrams from MacLanes coherence theorem (suitably modified)? Or do I need additional ones? Cheers, Thorsten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]