It sticks in my mind that somewhere (probably Kelly's book on enriched category theory) I have seen the composition of enriched functors expressed in terms of coends. Our library's copy of Kelly is out, so I was hoping someone could help me recover the result and all necessary hypotheses. More precisely, I recall that it ran like this (and have proved this for ordinary categories): Associate to an enriched functor F:A \rightarrow B the functor Hom(F(-),-):A^{op} \times B \rightarrow V The composition of F and G is then given by \integral^c Hom(F(-),c) \otimes Hom(G(c),-) \cong Hom(G(F(-)),-). I am particularly interested in an analogous result for C-linear categories, and categories enriched in the category of C-linear categories, as this could have applications to topological and conformal field theories. Best Thoughts to all, David Yetter