I have made some documents (notes which I have taken from lectures by Lawvere and Benabou) available on my home page: http://home.imf.au.dk/kock/lawvere66.pdf (from 1966; probably at Oberwolfach); http://home.imf.au.dk/kock/benabou67a.pdf http://home.imf.au.dk/kock/benabou67b.pdf The lectures by Benabou are from his long visit to U. of Chicago in the spring of 1967, where he gave some influential lectures, introducing Bicategories; profunctors (as he called them by then) were a significant example, and their theory was developed. Lawvere participated in (organized?) this seminar. I do not remember Lawvere making any priority claims concerning the "profunctor"-example; this was not an issue, although profunctors clearly are present in his 1966 talk, cf. the link above (and they are part of a broad evolution: bimodule theory of Cartan-Eilenberg (or earlier?), tensor product of functors in Watts' contribution to the 1965 LaJolla volume, ... ). Anders Kock [For admin and other information see: http://www.mta.ca/~cat-dist/ ]