Please could somebody tell me where I might find the following result so that I can give a reference to it? A bifunctor is omega-cocontinuous if it is omega-cocontinuous in each of its arguments separately. Thanks very much, Clare Martin.